PanLinx
English
eng-000
operator equivalence
русский
rus-000
операторная эквивалентность
PanLex
