Theorem CFC.rpow_neg_one_eq_cfc_inv

Modification history