Theorem WittVector.pow_coeff

Modification history