Theorem Real.rpow_add_int'

Modification history