Author: Urs Format: MarkdownItexmade some minor cosmetic edits, such as replacing
\bar W G
(which comes out with too short an overline) with
\overline{W} G
<a href="https://ncatlab.org/nlab/revision/diff/Borel+model+structure/2">diff</a>, <a href="https://ncatlab.org/nlab/revision/Borel+model+structure/2">v2</a>, <a href="https://ncatlab.org/nlab/show/Borel+model+structure">current</a>