Theorem AddChar.sum_mulShift

Modification history