In a locally finite tiling of n-dim Euclidean space by convex polytopes, each point of the space is either a vertex of at least two tiles, or no vertex at all.
生成讲解博客的中文版本
生成AI智能校验的中文版本