Theorem Real.rpow_sub_one'

Modification history