Theorem WittVector.wittSub_vars

Modification history