PanLinx
русский
rus-000
обратимая справа подкатегория
English
eng-000
right-invertible subcategory
PanLex