src/HOL/MacLaurin.thy
changeset 66924 b4d4027f743b
parent 65273 917ae0ba03a2
child 67091 1393c2340eec