Theorem NNReal.le_rpow_inv_iff_of_neg

Modification history