Theorem WittVector.constantCoeff_wittNeg

Modification history