Theorem WittVector.mul_polyOfInterest_aux4

Modification history