Theorem AddChar.mulShift_mul

Modification history