PanLinx
русский
rus-000
формульный автоморфизм
English
eng-000
formula automorphism
PanLex