Theorem Real.rpow_lt_one

Modification history