Theorem TruncatedWittVector.truncate_wittVector_truncate

Modification history