diff options
| author | Josh Chen | 2018-09-19 15:06:44 +0200 |
|---|---|---|
| committer | Josh Chen | 2018-09-19 15:06:44 +0200 |
| commit | 150f7eb27880a0081b8ec86d775dd626f507e779 (patch) | |
| tree | 9fe01af79f4dc8ccc50339bf13628912fba5effa /Univalence.thy | |
| parent | 1305c6beca2448156b61649da1a719d055aaf7f7 (diff) | |
Renaming
Diffstat (limited to '')
| -rw-r--r-- | Univalence.thy | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Univalence.thy b/Univalence.thy index 3c9b520..c6733c6 100644 --- a/Univalence.thy +++ b/Univalence.thy @@ -7,7 +7,7 @@ Definitions of homotopy, equivalence and the univalence axiom. *) theory Univalence -imports HoTT_Methods EqualProps Prod Sum +imports HoTT_Methods Equality Prod Sum begin |