mathlib
150b8e81 - feat(analysis/calculus): generalize `differentiable.pow`, add `differentiable.zpow` (#15416)

Commit

3 years ago

feat(analysis/calculus): generalize `differentiable*.pow`, add `differentiable*.zpow` (#15416)

Author

urkud

Parents

mathlib 150b8e81 - feat(analysis/calculus): generalize `differentiable*.pow`, add `differentiable*.zpow` (#15416)