Theorem CFC.nnrpow_add

Modification history