Homotopy Type Theory
UMyn8W7b (Rev #428, changes)
Redirected from "model structures on homotopical presheaves".
Showing changes from revision #427 to #428:
Added | Removed | Changed
Revision on January 25, 2024 at 01:04:18 by
Anonymous?.
See the history of this page for a list of all contributions to it.