Theorem Irreducible.eq_one_or_eq_one

Modification history