PanLinx
English
eng-000
nontrivial subvariety
русский
rus-000
нетривиальное подмногообразие
PanLex