Author: Urs Format: MarkdownItexI have hyperlinked some of the keywords
and in the definition of the order relation ([here](https://ncatlab.org/nlab/show/Habiro+ring#eq:le)) I replaced the equality sign by a logical equivalence sign (which is what I gather is meant)
<a href="https://ncatlab.org/nlab/revision/diff/Habiro+ring/3">diff</a>, <a href="https://ncatlab.org/nlab/revision/Habiro+ring/3">v3</a>, <a href="https://ncatlab.org/nlab/show/Habiro+ring">current</a>
I have hyperlinked some of the keywords
and in the definition of the order relation (here) I replaced the equality sign by a logical equivalence sign (which is what I gather is meant)