Commit 2023-05-22 16:35 d02b929f

View on Github →

feat: port Analysis.Calculus.Fderiv.Comp (#4184)

Estimated changes

added theorem Differentiable.comp
added theorem DifferentiableAt.comp
added theorem DifferentiableOn.comp
added theorem HasFDerivAt.comp
added theorem HasFDerivAtFilter.comp
added theorem HasFDerivWithinAt.comp
added theorem fderiv.comp
added theorem fderivWithin.comp
added theorem fderivWithin.comp₃