Update src/species/composition-cauchy-series-species-of-types.lagda.md

Co-authored-by: Vojtěch Štěpančík <[email protected]>
UniMath · Dec 10, 2023 · 46c6707 · 46c6707
1 parent 17a88e8
commit 46c6707
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/species/composition-cauchy-series-species-of-types.lagda.md b/src/species/composition-cauchy-series-species-of-types.lagda.md
@@ -88,8 +88,8 @@ module _
             ( λ V →
               ( equiv-prod
                 ( id-equiv)
-                ( inv-equiv equiv-up-product ∘e
-                  equiv-prod id-equiv equiv-ev-pair)) ∘e
+                ( ( inv-equiv equiv-up-product) ∘e
+                  ( equiv-prod id-equiv equiv-ev-pair))) ∘e
               ( left-unit-law-Σ-is-contr
                 ( is-torsorial-equiv' (Σ U V))
                 ( Σ U V , id-equiv))))))) ∘e