PanLinx
русский
rus-000
дифференцируемый росток
English
eng-000
differentiable germ
PanLex
