Theorem NNReal.lt_rpow_inv_iff_of_pos

Modification history