Theorem DifferentiableOn.fun_comp

Modification history

2025-07-05 17:25
Mathlib/Analysis/Calculus/FDeriv/Comp.lean
chore: clean up and remove FunProp/Differentiable (#26404) …
Added DifferentiableOn.fun_compView on Github →