Theorem AddChar.mulShift_one

Modification history