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 touched the first lines of the entry (e.g., on the $n$Lab, “space” is something much more general than “topological space”).
By the way, better to put anchors at the beginning of bullet items instead of at their end, for otherwise the parser tends to get confused (not sure exactly what causes this, but just saw another such glitch the other day.)
1 to 2 of 2