Commit 2023-05-29 05:29 b5b6fb2d

View on Github →

feat: port Analysis.Calculus.Deriv.Pow (#4441)

Estimated changes

added theorem HasDerivAt.pow
added theorem HasDerivWithinAt.pow
added theorem derivWithin_pow'
added theorem derivWithin_pow
added theorem deriv_pow''
added theorem deriv_pow'
added theorem deriv_pow
added theorem differentiableAt_pow
added theorem differentiableOn_pow
added theorem differentiable_pow
added theorem hasDerivAt_pow
added theorem hasDerivWithinAt_pow
added theorem hasStrictDerivAt_pow