src/HOL/MacLaurin.thy
changeset 32436 10cd49e0c067
parent 32047 c141f139ce26
child 36974 b877866b5b00