Author: nLab edit announcer Format: MarkdownItexarticle on a variation of the identity type which compares elements from two equivalent types for equality
Anonymouse
<a href="https://ncatlab.org/nlab/revision/two-type+identity+type/1">v1</a>, <a href="https://ncatlab.org/nlab/show/two-type+identity+type">current</a>
article on a variation of the identity type which compares elements from two equivalent types for equality