Theorem CFC.nnrpow_eq_pow

Modification history