Theorem WittVector.truncate_comp_lift

Modification history