Talk:PlanetPhysics/Van Kampen Theorem for Groups and Groupoids