PanLinx
русский
rus-000
инвариантное условие
English
eng-000
invariant condition
PanLex