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 haven’t ever before edited the nLab (just corrected typos in the past). Please, don’t be mad at me if something is not well typed or doesn’t follow the nLab conventions. I tried to follow what is explained in https://ncatlab.org/nlab/show/HowTo
If something isn’t right, just correct it and I’ll revisit this page in a couple of days to learn about it :)
Looks good, thanks for contributing!
The rendering error you ran into is caused by a bug in our software: If the closing tag of a Definition/Theorem/Proof environment follows immediately after an item list, then the page does not render. One needs to introduce a blank line in the code to avoid this.
(Which isn’t so bad, since such whitespace between code of differing logical nature also helps humans with reading the source, so it’s good style to include it anyways.)
1 to 5 of 5