Homotopy Type Theory proposition > history (changes)

Showing changes from revision #6 to #7: Added | ~~Removed~~ | ~~Chan~~ged

~~Idea~~

~~A type which represents the notion of truth value in homotopy type theory.~~

~~Definition~~
~~A proposition is a type $A$ with a term~~
~~$p: \prod_{a:A} \prod_{b:A} a = b$~~
~~See also~~

~~set~~

~~category: not redirected to nlab yet~~

Last revised on June 17, 2022 at 22:08:29. See the history of this page for a list of all contributions to it.