Theorem WittVector.mul_coeff_zero

Modification history