Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-02-20 12:33 c7202e57

View on Github →

feat(analysis/exponential): pow_nat_rpow_nat_inv (#740)

Estimated changes

Modified src/analysis/exponential.lean

added theorem complex.abs_cpow_inv_nat

added theorem real.pow_nat_rpow_nat_inv