Author: jesuslop Format: MarkdownItexThinked twice. I'm undoing my former change (in "examples", now restoring old "Sch/S" and deleting my ammend "Sch/X"). Though I think It needs review ("S" seems undefined), I don't want to introduce new errors.
<a href="https://ncatlab.org/nlab/revision/diff/big+site/13">diff</a>, <a href="https://ncatlab.org/nlab/revision/big+site/13">v13</a>, <a href="https://ncatlab.org/nlab/show/big+site">current</a>
Thinked twice. I’m undoing my former change (in “examples”, now restoring old “Sch/S” and deleting my ammend “Sch/X”). Though I think It needs review (“S” seems undefined), I don’t want to introduce new errors.
Author: Urs Format: MarkdownItexYes, $Sch/S$ was a typo, given the previous text. Have fixed it.
<a href="https://ncatlab.org/nlab/revision/diff/big+site/14">diff</a>, <a href="https://ncatlab.org/nlab/revision/big+site/14">v14</a>, <a href="https://ncatlab.org/nlab/show/big+site">current</a>
Yes, was a typo, given the previous text. Have fixed it.