submanifold (Q1455)

From MaRDI portal