Theorem NNReal.rpow_eq_rpow_iff

Modification history