Author: Urs Format: MarkdownItexa bare minimum, for the moment just to make links work
<a href="https://ncatlab.org/nlab/revision/linear+isometry/1">v1</a>, <a href="https://ncatlab.org/nlab/show/linear+isometry">current</a>
a bare minimum, for the moment just to make links work