Author: Urs Format: MarkdownItexa bare list of Proposition-entries, to be `!include`-ed into the relevant entries under "Related theorems", for ease of cross-linking
<a href="https://ncatlab.org/nlab/revision/facts+about+chord+diagrams+and+weight+systems+--+contents/1">v1</a>, <a href="https://ncatlab.org/nlab/show/facts+about+chord+diagrams+and+weight+systems+--+contents">current</a>
a bare list of Proposition-entries, to be !include-ed into the relevant entries under “Related theorems”, for ease of cross-linking