We prove that any convex flat subset in a complete Euclidean building is contained in an apartment of the maximal system of apartments.
生成讲解博客的中文版本
生成AI智能校验的中文版本