Theorem ENNReal.rpow_lt_rpow_of_exponent_gt

Modification history