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