Theorem WittVector.wittSub_zero

Modification history