diff options
Diffstat (limited to 'Univalence.thy')
| -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 |