Theorem DiscreteValuationRing.addVal_uniformizer

Modification history