Theorem IsDiscreteValuationRing.of_ufd_of_unique_irreducible

Modification history