Def WittVector.wittMul

Modification history