Theorem WittVector.zero_coeff

Modification history