Theorem Real.rpow_one_sub'

Modification history