RE: [math-fun] Embedding simplicial complexes in Euclidean space