Theorem WittVector.truncateFun_add

Modification history