PanLinx
русский
rus-000
индуктивная функция
English
eng-000
inductive function
PanLex
