Theorem Real.rpow_le_rpow_left_iff

Modification history