Theorem WittVector.truncate_lift

Modification history