:: deftheorem defines Gauss_INT_Ring GAUSSINT:def 7 :
Gauss_INT_Ring = doubleLoopStr(# G_INT_SET,g_int_add,g_int_mult,(In (1,G_INT_SET)),(In (0,G_INT_SET)) #);