src/HOL/Taylor.thy
changeset 54257 5c7a3b6b05a9
parent 44890 22f665a2e91c
child 56193 c726ecfb22b6