Theorem WittVector.truncateFun_sub

Modification history