the intersection of a collection of compact sets is compact

Printable View