PanLinx
русский
rus-000
многообразие группоидов
English
eng-000
variety of groupoids
PanLex