Theorem WittVector.truncate_surjective

Modification history