Theorem TruncatedWittVector.truncateFun_out

Modification history