Theorem WittVector.out_truncateFun

Modification history