Theorem Irreducible.isUnit_iff_not_associated_of_dvd

Modification history