Homotopy Type Theory
equivalence of precategories (Rev #1, changes)

Showing changes from revision #0 to #1: Added | Removed | Changed

Homepage

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.