PanLinx: накрывающая гомотопия

русский	rus-000
накрывающая гомотопия

English	eng-000	covering homotopy
English	eng-000	lifting homotopy

PanLex-PanLinx