Theorem CFC.rpow_inv_rpow

Modification history