Theorem Real.rpow_two

Modification history