Theorem Real.rpow_inv_eq

Modification history