Theorem DiscreteValuationRing.ofHasUnitMulPowIrreducibleFactorization

Modification history