mathlib3

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