src/HOL/Taylor.thy
changeset 57978 8f4a332500e4
parent 56193 c726ecfb22b6
child 58889 5b7a9633cfa8