Theorem AddChar.inv_mulShift

Modification history