Theorem DiscreteValuationRing.associated_of_irreducible

Modification history