Author: Urs Format: MarkdownItexadded more cross-links and more references
<a href="https://ncatlab.org/nlab/revision/diff/recursion/17">diff</a>, <a href="https://ncatlab.org/nlab/revision/recursion/17">v17</a>, <a href="https://ncatlab.org/nlab/show/recursion">current</a>