Author: Urs Format: MarkdownItexPage created, but author did not leave any comments.
<a href="https://ncatlab.org/nlab/revision/Marek+Kr%C4%8D%C3%A1l/1">v1</a>, <a href="https://ncatlab.org/nlab/show/Marek+Kr%C4%8D%C3%A1l">current</a>
Page created, but author did not leave any comments.