Theorem WittVector.wittNeg_zero

Modification history