Author: Dmitri Pavlov Format: MarkdownItexRenamed to add an accent.
<a href="https://ncatlab.org/nlab/revision/diff/Pavol+%C5%A0evera/11">diff</a>, <a href="https://ncatlab.org/nlab/revision/Pavol+%C5%A0evera/11">v11</a>, <a href="https://ncatlab.org/nlab/show/Pavol+%C5%A0evera">current</a>