Author: Urs Format: MarkdownItexSlightly modernized this page, mostly bringing in the new LaTeX-style syntax for Definition/Proposition/Proof-environments.
<a href="https://ncatlab.org/nlab/revision/diff/Template+page/19">diff</a>, <a href="https://ncatlab.org/nlab/revision/Template+page/19">v19</a>, <a href="https://ncatlab.org/nlab/show/Template+page">current</a>
Slightly modernized this page, mostly bringing in the new LaTeX-style syntax for Definition/Proposition/Proof-environments.
Author: Urs Format: MarkdownItexThanks, good catch. I have removed it now.
<a href="https://ncatlab.org/nlab/revision/diff/Template+page/21">diff</a>, <a href="https://ncatlab.org/nlab/revision/Template+page/21">v21</a>, <a href="https://ncatlab.org/nlab/show/Template+page">current</a>
Author: Dmitri Pavlov Format: MarkdownItexAdded “Related concepts” to the template, as it is now standard.
<a href="https://ncatlab.org/nlab/revision/diff/Template+page/22">diff</a>, <a href="https://ncatlab.org/nlab/revision/Template+page/22">v22</a>, <a href="https://ncatlab.org/nlab/show/Template+page">current</a>
Added “Related concepts” to the template, as it is now standard.