Theorem AddChar.mulShift_apply

Modification history