:: deftheorem defines almost_invertible ALGSTR_0:def 40 :
for M being multLoopStr_0 holds
( M is almost_invertible iff ( M is almost_right_invertible & M is almost_left_invertible ) );