User:Caliburn/s/7
< User:Caliburn | s
Jump to navigation
Jump to search
Theorem
Let $M = \struct {\R, d}$ where $d$ is the Euclidean metric.
Then the closed interval $\closedint a b$ is non-meager in $M$.
Let $M = \struct {\R, d}$ where $d$ is the Euclidean metric.
Then the closed interval $\closedint a b$ is non-meager in $M$.