Theorem WittVector.constantCoeff_wittSub

Modification history