diff options
Diffstat (limited to 'Functor/Free/Instance/SymmetricMonoidalPreorder/Lax.agda')
| -rw-r--r-- | Functor/Free/Instance/SymmetricMonoidalPreorder/Lax.agda | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Functor/Free/Instance/SymmetricMonoidalPreorder/Lax.agda b/Functor/Free/Instance/SymmetricMonoidalPreorder/Lax.agda index ebb3dc0..59161ae 100644 --- a/Functor/Free/Instance/SymmetricMonoidalPreorder/Lax.agda +++ b/Functor/Free/Instance/SymmetricMonoidalPreorder/Lax.agda @@ -28,7 +28,7 @@ module _ {o ℓ e : Level} where symmetricMonoidalPreorder C = record { M ; symmetric = record - { symmetric = λ x y → braiding.⇒.η (x , y) + { symmetry = λ x y → braiding.⇒.η (x , y) } } where |