Theorem WittVector.wittZSMul_vars

Modification history