Theorem DiscreteValuationRing.of_ufd_of_unique_irreducible

Modification history