Theorem Real.rpow_lt_rpow

Modification history