#
Homotopy Type Theory

set (changes)

Showing changes from revision #0 to #1:
Added | ~~Removed~~ | ~~Chan~~ged

## Definition

A **set** is a 0-truncated? type.

## References

Created on January 28, 2019 at 16:34:46.
See the history of this page for a list of all contributions to it.