Theorem CFC.nnrpow_zero

Modification history