mathlib
c9f48402 - refactor(analysis/special_functions/pow): assume `n ≠ 0` instead of `0 < n` (#15553)

Commit
3 years ago
refactor(analysis/special_functions/pow): assume `n ≠ 0` instead of `0 < n` (#15553)
Author
Parents
Loading