We prove that a quotient of a Nash manifold XX by a closed equivalence relation R⊂X×XR⊂X×X, which is submersive over XX, yields a Nash manifold X/RX/R.
生成讲解博客的中文版本
生成AI智能校验的中文版本