PanLinx
русский
rus-000
лемма о раскраске дуг
English
eng-000
arc-coloring lemma
PanLex
