neat submanifold

Мат. правильное подмногообразие