Theorem Irreducible.dvd_irreducible_iff_associated

Modification history