Theorem WittVector.truncateFun_int_cast

Modification history