Locally connected and no proper open subgroup implies connected

From Groupprops
Jump to: navigation, search