Theorem TruncatedWittVector.out_injective

Modification history