src/HOL/Multivariate_Analysis/Derivative.thy
changeset 47884 21c42b095c84
parent 46898 1570b30ee040
child 50418 bd68cf816dd3