Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
Added Mazurkiewicz theorem and Hausdorff Gδ theorem with original reference by Stefan Mazurkiewicz and Felix Hausdorff. Linked english Wikipedia page. (The german Wikipedia page is now also available.)
Fixed the mistranslation of the German Wikipedia article’s vollständig metrisierbar ‘completely metrizable’ as ‘fully metrizable’
1 to 2 of 2