Theorem WittVector.sub_coeff

Modification history