Remove erroneous \hiding

src/AG/Projective.ard

@@ -24,7 +24,7 @@
 \import Data.Bool
 \import Data.Maybe
 \import Data.Or
-\import Equiv \hiding (Map)
+\import Equiv
 \import Function.Meta
 \import HLevel
 \import Logic

src/AG/Scheme.ard

@@ -21,7 +21,7 @@
 \import Data.Array
 \import Data.Bool
 \import Data.Maybe
-\import Equiv \hiding (Map)
+\import Equiv
 \import Equiv.Fiber
 \import Equiv.Path
 \import Equiv.Sigma

src/Algebra/Module/FinModule.ard

@@ -8,7 +8,7 @@
 \import Arith.Nat
 \import Category
 \import Data.Array
-\import Equiv \hiding (Map)
+\import Equiv
 \import Function \hiding (id, o)
 \import Function.Meta
 \import Logic

src/Algebra/Ring/Category.ard

@@ -11,7 +11,7 @@
 \import Category.Limit
 \import Category.Meta
 \import Category.Subcat
-\import Equiv \hiding (Map)
+\import Equiv
 \import Logic
 \import Logic.FirstOrder.Algebraic
 \import Logic.FirstOrder.Algebraic.Category

src/Algebra/Ring/MPoly.ard

@@ -16,7 +16,7 @@
 \import Category
 \import Data.Array
 \import Data.Fin \hiding (Index)
-\import Equiv \hiding (Map)
+\import Equiv
 \import Function (isSurj)
 \import Function.Meta ($)
 \import Logic

src/Category/Adjoint.ard

@@ -1,6 +1,6 @@
 \import Category
 \import Category.Functor
-\import Equiv \hiding (Map)
+\import Equiv
 \import Function.Meta
 \import Meta
 \import Paths

src/Category/Factorization.ard

@@ -1,6 +1,6 @@
 \import Category
 \import Category.Limit
-\import Equiv \hiding (Map)
+\import Equiv
 \import Logic
 \import Paths
 \import Paths.Meta

src/Category/Functor.ard

@@ -1,6 +1,6 @@
 \import Algebra.Meta
 \import Category
-\import Equiv \hiding (Map)
+\import Equiv
 \import Function.Meta
 \import Logic.Meta
 \import Meta

src/Category/Limit.ard

@@ -3,7 +3,7 @@
 \import Category.Functor
 \import Category.Slice
 \import Data.Bool
-\import Equiv \hiding (Map)
+\import Equiv
 \import Function.Meta
 \import Logic
 \import Logic.Meta

src/Category/Subcat.ard

@@ -2,7 +2,7 @@
 \import Category.Adjoint
 \import Category.Functor
 \import Category.Limit
-\import Equiv \hiding (Map)
+\import Equiv
 \import Function.Meta
 \import Homotopy.Fibration
 \import Meta

src/Category/Subobj.ard

@@ -1,6 +1,6 @@
 \import Category
 \import Category.Limit
-\import Equiv \hiding (Map)
+\import Equiv
 \import Function.Meta
 \import Logic
 \import Logic.Meta

src/Category/Topos/Sheaf.ard

@@ -5,7 +5,7 @@
 \import Category.Slice
 \import Category.Subcat
 \import Category.Topos.Sheaf.Site
-\import Equiv \hiding (Map)
+\import Equiv
 \import Function.Meta
 \import Logic
 \import Logic.Meta

src/Set/Category.ard

@@ -3,7 +3,7 @@
 \import Category
 \import Category.Functor
 \import Category.Limit
-\import Equiv \hiding (Map)
+\import Equiv
 \import Function.Meta ($)
 \import HLevel
 \import Logic