We prove the existence of flips in dimension n, contingent on the termination of real flips in dimension n-1.
生成讲解博客的中文版本
生成AI智能校验的中文版本