Theorem Real.rpow_one_add'

Modification history