Theorem AddChar.mulShift_spec'

Modification history