Theorem DiscreteValuationRing.addVal_pow

Modification history