Theorem WittVector.truncateFun_nsmul

Modification history