PanLinx
English
eng-000
minimal monotone collection
русский
rus-000
минимальное монотонное семейство
PanLex