Theorem DiscreteValuationRing.irreducible_of_span_eq_maximalIdeal

Modification history