Theorem ENNReal.le_rpow_self_of_one_le

Modification history