Theorem CFC.isUnit_rpow_iff

Modification history