PanLinx: нормальное многообразие

русский	rus-000
нормальное многообразие

English	eng-000	normal manifold
English	eng-000	normal variety

PanLex-PanLinx