Theorem NNReal.le_rpow_one_div_iff

Modification history