Theorem NNReal.pow_nat_rpow_nat_inv

Modification history