Def WittVector.wittZero

Modification history