Theorem NNReal.eq_rpow_one_div_iff

Modification history