Let EE be a finite-dimensional real vector space and M⊆EM⊆E be a convex polytope with non-empty interior. We turn the group of all C∞C∞-diffeomorphisms of MM into a regular Lie group.
生成讲解博客的中文版本
生成AI智能校验的中文版本