Homotopy Type Theory Covering Spaces in Homotopy Type Theory > history (changes)

Skip the Navigation Links | Home Page | All Pages | Latest Revisions | Authors |

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

Covering Spaces in Homotopy Type Theory < , homotopy type theory - referencesKuen-Bang Hou (Favonia)

category: redirected to nlab

See also

category: reference

Last revised on June 9, 2022 at 17:33:14. See the history of this page for a list of all contributions to it.

EditDiscussPrevious revisionHide changesHistory (1 revision) Print Source