diff options
Diffstat (limited to 'Category/Instance/Properties')
| -rw-r--r-- | Category/Instance/Properties/SymMonCat.agda | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Category/Instance/Properties/SymMonCat.agda b/Category/Instance/Properties/SymMonCat.agda index 3b49b26..2afde0a 100644 --- a/Category/Instance/Properties/SymMonCat.agda +++ b/Category/Instance/Properties/SymMonCat.agda @@ -9,7 +9,8 @@ import Categories.Morphism.Reasoning as ⇒-Reasoning import Categories.NaturalTransformation.NaturalIsomorphism.Monoidal.Symmetric as SMNI import Categories.Functor.Monoidal.Symmetric {o} {o} {ℓ} {ℓ} {e} {e} as SMF -open import Category.Instance.SymMonCat {o} {ℓ} {e} using (SymMonCat) +open import Category.Instance.SymMonCat {o} {ℓ} {e} using (module Lax) +open Lax using (SymMonCat) open import Categories.Category using (Category; _[_≈_]; _[_∘_]) open import Categories.Object.Product.Core SymMonCat using (Product) |