Theorem CFC.nnrpow_eq_rpow

Modification history