Difference between revisions of "Image of a compact set is compact"