PanLinx
русский
rus-000
общековариантный
English
eng-000
generally covariant
PanLex