Theorem WittVector.neg_coeff

Modification history