Author: Dmitri Pavlov Format: MarkdownItexAdded another definition.
Added constructions to pass between different definitions.
<a href="https://ncatlab.org/nlab/revision/diff/sublocale/5">diff</a>, <a href="https://ncatlab.org/nlab/revision/sublocale/5">v5</a>, <a href="https://ncatlab.org/nlab/show/sublocale">current</a>
Added another definition.
Added constructions to pass between different definitions.