Loading [MathJax]/jax/output/CommonHTML/jax.js
ThmDex – An index of mathematical definitions, results, and conjectures.
Definitions
,
Results
,
Conjectures
Proof P2745 on
R4009: Metrisable topological space is Fréchet
P2745
This result is a consequence of the results
(i)
R499: Metrisable topological space is Hausdorff
(ii)
R519: Hausdorff space is Fréchet space
◻