Theorem Irreducible.maximalIdeal_eq

Modification history