Theorem WittVector.truncateFun_zero

Modification history