PanLinx
русский
rus-000
индуктивный функтор
English
eng-000
inductive functor
PanLex