Theorem ENNReal.lt_rpow_one_div_iff

Modification history