Commit 2023-05-30 07:01 a206a3ec

View on Github →

feat: port Analysis.Calculus.Deriv.Inv (#4443)

Estimated changes

added theorem Differentiable.div
added theorem Differentiable.inv
added theorem DifferentiableAt.div
added theorem DifferentiableAt.inv
added theorem DifferentiableOn.div
added theorem DifferentiableOn.inv
added theorem HasDerivAt.div
added theorem HasDerivAt.inv
added theorem HasDerivWithinAt.div
added theorem HasDerivWithinAt.inv
added theorem HasStrictDerivAt.div
added theorem derivWithin_div
added theorem derivWithin_inv'
added theorem derivWithin_inv
added theorem deriv_div
added theorem deriv_inv''
added theorem deriv_inv'
added theorem deriv_inv
added theorem differentiableAt_inv
added theorem differentiableOn_inv
added theorem fderivWithin_inv
added theorem fderiv_inv
added theorem hasDerivAt_inv
added theorem hasDerivWithinAt_inv
added theorem hasFDerivAt_inv
added theorem hasFDerivWithinAt_inv
added theorem hasStrictDerivAt_inv