Theorem DiscreteValuationRing.associated_pow_irreducible

Modification history