Hide EndF from Properties import in End.PArameterized

Author: Taneb

src/Categories/Diagram/End/Parameterized.agda

@@ -10,7 +10,7 @@ open import Categories.Category.Construction.Functors
 open import Categories.Category.Product renaming (Product to _×ᶜ_)
 open import Categories.Diagram.End renaming (End to ∫)
 open import Categories.Diagram.End.Limit
-open import Categories.Diagram.End.Properties
+open import Categories.Diagram.End.Properties hiding (EndF)
 open import Categories.Diagram.Wedge
 open import Categories.Functor hiding (id)
 open import Categories.Functor.Bifunctor