Author: nLab edit announcer Format: MarkdownItexI added the "overtness" assumption to the statement of the theorem in section 5 (see C5.3.2 of the Elephant).
Francesco Ciraulo
<a href="https://ncatlab.org/nlab/revision/diff/localic+group/11">diff</a>, <a href="https://ncatlab.org/nlab/revision/localic+group/11">v11</a>, <a href="https://ncatlab.org/nlab/show/localic+group">current</a>
I added the “overtness” assumption to the statement of the theorem in section 5 (see C5.3.2 of the Elephant).
Author: Dmitri Pavlov Format: MarkdownItexAdded a reference.
<a href="https://ncatlab.org/nlab/revision/diff/localic+group/12">diff</a>, <a href="https://ncatlab.org/nlab/revision/localic+group/12">v12</a>, <a href="https://ncatlab.org/nlab/show/localic+group">current</a>