Author: nLab edit announcer Format: MarkdownItexstub on the type sProp which is the type of strict propositions
Anonymouse
<a href="https://ncatlab.org/nlab/revision/type+of+strict+propositions/1">v1</a>, <a href="https://ncatlab.org/nlab/show/type+of+strict+propositions">current</a>
stub on the type sProp which is the type of strict propositions