Theorem AddChar.to_mulShift_inj_of_isPrimitive

Modification history