Author: varkor Format: MarkdownItexAdd a students section (very sparse at the moment).
<a href="https://ncatlab.org/nlab/revision/diff/Anders+Kock/7">diff</a>, <a href="https://ncatlab.org/nlab/revision/Anders+Kock/7">v7</a>, <a href="https://ncatlab.org/nlab/show/Anders+Kock">current</a>
Add a students section (very sparse at the moment).