:: deftheorem defines INT.Group GR_CY_1:def 3 :
INT.Group = multMagma(# INT,addint #);