Author: Blake Stacey Format: MarkdownItexremove heading for empty section that seems to be redundant with earlier one
<a href="https://ncatlab.org/nlab/revision/diff/root+%28in+representation+theory%29/7">diff</a>, <a href="https://ncatlab.org/nlab/revision/root+%28in+representation+theory%29/7">v7</a>, <a href="https://ncatlab.org/nlab/show/root+%28in+representation+theory%29">current</a>
remove heading for empty section that seems to be redundant with earlier one