Theorem Irreducible.isUnit_gcd_iff

Modification history