We prove that if S is a properly embedded incompressible surface in a compact 3-manifold M, then the fundamental group of S is separable in the fundamental group of M.
生成讲解博客的中文版本
生成AI智能校验的中文版本