Author: Tim_Porter Format: MarkdownItexUpdated one link and added another
<a href="https://ncatlab.org/nlab/revision/diff/Agust%C3%AD+Roig/5">diff</a>, <a href="https://ncatlab.org/nlab/revision/Agust%C3%AD+Roig/5">v5</a>, <a href="https://ncatlab.org/nlab/show/Agust%C3%AD+Roig">current</a>