I prove that any two smooth collections of spanning 3-discs for the trivial 2-link in S4S4 become smoothly isotopic rel. boundary after pushing them into D5D5.
生成讲解博客的中文版本
生成AI智能校验的中文版本