Theorem WittVector.wittNeg_vars

Modification history