Author: nLab edit announcer Format: MarkdownItexstarting page on the type of affine propositions in the antithesis interpretation
Anonymouse
<a href="https://ncatlab.org/nlab/revision/type+of+affine+propositions/1">v1</a>, <a href="https://ncatlab.org/nlab/show/type+of+affine+propositions">current</a>
starting page on the type of affine propositions in the antithesis interpretation