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