Theorem DiscreteValuationRing.ideal_eq_span_pow_irreducible

Modification history