PanLinx: группоид с сокращением

русский	rus-000
группоид с сокращением

English	eng-000	cancellation groupoid
English	eng-000	cancellative groupoid

PanLex-PanLinx