Theorem TruncatedWittVector.truncate_comp

Modification history