Theorem WittVector.truncateFun_one

Modification history