src/HOL/MacLaurin.thy
changeset 37407 61dd8c145da7
parent 36974 b877866b5b00
child 41120 74e41b2d48ea