Theorem WittVector.wittPow_vars

Modification history