Theorem CFC.isUnit_sqrt_iff

Modification history