Theorem CFC.nnrpow_one

Modification history