Theorem Real.rpow_add_one'

Modification history