P
Initializing...
Cantor intersection theorem for connectedness: a nested intersection of compact connected sets is connected · Prove2Me