Theorem Real.rpow_eq_pow

Modification history