Theorem WittVector.nsmul_coeff

Modification history