Theorem CFC.isUnit_nnrpow_iff

Modification history