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.
I have begun giving pointed topological space some content by giving it an Idea-section and then a long list of definitions and construction, all taken from the entry pointed object but specified to the topological case suitably.
(The last few paragraphs not harmonized yet, need to quit now.)
1 to 3 of 3