Theorem WittVector.truncateFun_natCast

Modification history