Homotopy Type Theory
transport (changes)

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

Idea

Definition

References

HoTT book

category: type theory

Created on September 6, 2018 at 07:28:39. See the history of this page for a list of all contributions to it.