加载中…
Consider a definable complete d-minimal expansion of an oredered field . Let be a definably compact definably normal definable manifold and . We prove that the set of definable Morse functions is open and dense in the set of definable functions on with respect to the definable topology.

生成讲解博客的中文版本

生成AI智能校验的中文版本