Theorem WittVector.coeff_mk

Modification history