Homotopy Type Theory
equivalence of precategories (Rev #1)

Revision on January 18, 2015 at 03:34:02 by Bas Spitters. See the history of this page for a list of all contributions to it.