PanLinx
English
eng-000
presheaf of cuts
русский
rus-000
предпучок сечений
PanLex