Theorem DiscreteValuationRing.irreducible_iff_uniformizer

Modification history