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>