Theorem WittVector.wittAdd_vars

Modification history