:: deftheorem defines g_int_mult GAUSSINT:def 4 :
g_int_mult = multcomplex || G_INT_SET;