Homotopy Type Theory
set > history (Rev #7)
Redirected from "spin-group".
Contents
Definition
A set consists of
- A type
- A 0-truncator
See also
References
Revision on June 15, 2022 at 22:26:26 by
Anonymous?.
See the history of this page for a list of all contributions to it.