PanLinx
русский
rus-000
вспомогательный функтор
English
eng-000
auxiliary functor
PanLex
