Author: David_Corfield Format: MarkdownItexAdded a couple of pages where his name appears.
<a href="https://ncatlab.org/nlab/revision/diff/Tilman+Bauer/2">diff</a>, <a href="https://ncatlab.org/nlab/revision/Tilman+Bauer/2">v2</a>, <a href="https://ncatlab.org/nlab/show/Tilman+Bauer">current</a>
Author: Joe Moeller Format: MarkdownItexFixed the link to homepage.
<a href="https://ncatlab.org/nlab/revision/diff/Tilman+Bauer/3">diff</a>, <a href="https://ncatlab.org/nlab/revision/Tilman+Bauer/3">v3</a>, <a href="https://ncatlab.org/nlab/show/Tilman+Bauer">current</a>