Theorem WittVector.truncateFun_intCast

Modification history