:: deftheorem Def28b defines quasi-homomorphic AIMLOOP:def 29 :
for Q1, Q2 being multLoop
for f being Function of Q1,Q2 holds
( f is quasi-homomorphic iff for x, y being Element of Q1 holds f . (x * y) = (f . x) * (f . y) );