Theorem WittVector.truncateFun_mul

Modification history