Theorem WittVector.wittAdd_zero

Modification history