Author: Dmitri Pavlov Format: MarkdownItexAdded a PDF link.
<a href="https://ncatlab.org/nlab/revision/diff/Tadao+Tannaka/3">diff</a>, <a href="https://ncatlab.org/nlab/revision/Tadao+Tannaka/3">v3</a>, <a href="https://ncatlab.org/nlab/show/Tadao+Tannaka">current</a>