PanLinx
русский
rus-000
градуированный морфизм
English
eng-000
graded morphism
PanLex