Mathlib Changelog
v4
Changelog
About
Github
Commit
2023-05-29 05:29
b5b6fb2d
View on Github →
feat: port Analysis.Calculus.Deriv.Pow (
#4441
)
Estimated changes
Modified
Mathlib.lean
Created
Mathlib/Analysis/Calculus/Deriv/Pow.lean
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
differentiableWithinAt_pow
added
theorem
differentiable_pow
added
theorem
hasDerivAt_pow
added
theorem
hasDerivWithinAt_pow
added
theorem
hasStrictDerivAt_pow