diff options
Diffstat (limited to 'Type_Families.thy')
-rw-r--r-- | Type_Families.thy | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Type_Families.thy b/Type_Families.thy index 6c784e5..b9e1049 100644 --- a/Type_Families.thy +++ b/Type_Families.thy @@ -7,7 +7,7 @@ Various results viewing type families as fibrations: transport, path lifting, de ********) theory Type_Families -imports HoTT_Methods Sum Projections Eq +imports Eq Projections begin |