Theorem CFC.nnrpow_two

Modification history