Theorem WittVector.isDiscreteValuationRing

Modification history