Theorem CFC.rpow_eq_pow

Modification history