src/HOL/MacLaurin.thy
changeset 54257 5c7a3b6b05a9
parent 51489 f738e6dbd844
child 56181 2aa0b19e74f3