fix whitespace...

agda · Dec 3, 2024 · e3fcc00 · e3fcc00
1 parent 3a0ddb7
commit e3fcc00
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/Cubical/Algebra/Group/Exact.agda b/Cubical/Algebra/Group/Exact.agda
@@ -202,5 +202,4 @@ transportExact4 {G = G} {G₂ = G₂} {H = H} {H₂ = H₂} {L = L} {L₂ = L₂
       (J (λ z q → (r : x₃ ≡ w) (s : x₄ ≡ u) → B x z w u refl q r s)
         (J (λ w r → (s : x₄ ≡ u) → B x x₂ w u refl refl r s)
           (J (λ u s → B x x₂ x₃ u refl refl refl s) b)))
-
-
+