Author: nLab edit announcer Format: MarkdownItexPage created, but author did not leave any comments.
Anonymous
<a href="https://ncatlab.org/homotopytypetheory/revision/unitary+isomorphism+in+a+dagger+precategory/1">v1</a>, <a href="https://ncatlab.org/homotopytypetheory/show/unitary+isomorphism+in+a+dagger+precategory">current</a>
Page created, but author did not leave any comments.