PanLinx
русский
rus-000
подстановочность равенства
English
eng-000
substitutivity of equality
PanLex