Theorem CFC.zero_nnrpow

Modification history