Theorem WittVector.constantCoeff_wittMul

Modification history