Theorem IsDiscreteValuationRing.addVal_uniformizer

Modification history