Author: Mike Shulman Format: MarkdownItexAdded link to [[set-level type theory]].
<a href="https://ncatlab.org/nlab/revision/diff/h-set/23">diff</a>, <a href="https://ncatlab.org/nlab/revision/h-set/23">v23</a>, <a href="https://ncatlab.org/nlab/show/h-set">current</a>