Theorem NNReal.rpow_eq_pow

Modification history