pl-thesaurus
pl-thesaurus copied to clipboard
Published
20 hours ago •
wilbowma
wilbowma
Results
2
pl-thesaurus issues
Sort by
recently updated
recently updated
newest added
Judging from here: https://ncatlab.org/nlab/show/propositional+extensionality > the assertion of this equivalence is a special case of the univalence axiom But axiom K is incompatible with univalence, because it implies Uniqueness of...
