Author: Urs Format: MarkdownItexsome minimum, for completeness and to record references
<a href="https://ncatlab.org/nlab/revision/collar+neighbourhood+theorem/1">v1</a>, <a href="https://ncatlab.org/nlab/show/collar+neighbourhood+theorem">current</a>
some minimum, for completeness and to record references