Skip to main content

All Questions

Filter by
Sorted by
Tagged with
0 votes
1 answer
434 views

Reference request: Any connected Lie group has a countable base for its topology

I am looking for a reference for the assertion in the title. This assertion is proved in a comment of user nfdc23 to this question. Has any proof of this assertion been published?
Mikhail Borovoi's user avatar