Theorem Real.lt_rpow_inv_iff_of_neg

Modification history