Skip to main content
4 events
when toggle format what by license comment
Jul 7, 2023 at 4:26 comment added PatrickR FYI, closed subsets of Euclidean space $\mathbb R^n$ (with $n$ finite) are also realcompact.
Nov 24, 2015 at 15:27 vote accept Tom
Nov 24, 2015 at 15:25 answer added Gerald Edgar timeline score: 9
Nov 24, 2015 at 13:34 history asked Tom CC BY-SA 3.0