PanLinx
English
eng-000
indefinitely reducible
русский
rus-000
бесконечно приводимый
PanLex