Theorem CFC.nnrpow_eq_nnrpow_prod

Modification history