Theorem WittVector.v2_coeff

Modification history