User:Caliburn/s/7

From ProofWiki
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$.


Proof 1

User:Caliburn/s/7/Proof 1

Proof 2

User:Caliburn/s/7/Proof 2