Theorem WittVector.wittNSMul_vars

Modification history