A map between manifolds which matches up families of complete vector fields is a fiber bundle mapping on each orbit of those vector fields.
生成讲解博客的中文版本
生成AI智能校验的中文版本