Theorem Real.rpow_one

Modification history