Theorem Irreducible.not_dvd_one

Modification history