Author: nLab edit announcer Format: MarkdownItex"G" was undeclared in the example
Yongyi
<a href="https://ncatlab.org/nlab/revision/diff/pro-%C3%A9tale+site/18">diff</a>, <a href="https://ncatlab.org/nlab/revision/pro-%C3%A9tale+site/18">v18</a>, <a href="https://ncatlab.org/nlab/show/pro-%C3%A9tale+site">current</a>