Theorem WittVector.wittMul_vars

Modification history