:: deftheorem defines Gauss_RAT_Module GAUSSINT:def 16 :
Gauss_RAT_Module = ModuleStr(# G_RAT_SET,g_rat_add,(In (0,G_RAT_SET)),RSc_Mult #);