Theorem Real.eq_rpow_inv

Modification history