Theorem DiscreteValuationRing.unit_mul_pow_congr_unit

Modification history