Fix a d-minimal expansion of an ordered field. We consider the space Dp(M)Dp(M) of definable CpCp functions defined on a definable CpCp submanifold MM equipped with definable CpCp topology. The set of definable CpCp Morse functions is dense in Dp(M)Dp(M).
生成讲解博客的中文版本
生成AI智能校验的中文版本