Theorem WittVector.coeff_truncateFun

Modification history