Theorem Real.rpow_rpow_inv

Modification history