Theorem WittVector.truncateFun_neg

Modification history