Homotopy Type Theory semi-simplicial types > history (Rev #1)

See here for now.

Revision on March 6, 2014 at 15:41:29 by Mike Shulman. See the history of this page for a list of all contributions to it.