Theorem CFC.nnrpow_def

Modification history