Theorem CFC.rpow_rpow_inv

Modification history