PanLinx
English
eng-000
everywhere differentiable
русский
rus-000
всюду дифференцируемый
PanLex
