From 90d544271e6a8be80c9ef7a7eb42d30473a8754a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Martin=20Dvo=C5=99=C3=A1k?= <martin.dvorak@matfyz.cz>
Date: Fri, 4 Oct 2024 01:50:47 +0200
Subject: [PATCH] [lean/en] add space before colon (#5132)

---
 lean4.html.markdown | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lean4.html.markdown b/lean4.html.markdown
index 4d427cec..7dcbb7e7 100644
--- a/lean4.html.markdown
+++ b/lean4.html.markdown
@@ -256,7 +256,7 @@ We now state Collatz conjecture. The proof is left as an exercise to the reader.
 def collatz_next (n : Nat) : Nat :=
   if n % 2 = 0 then n / 2 else 3 * n + 1
 
-def iter (k : Nat) (f: Nat → Nat) :=
+def iter (k : Nat) (f : Nat → Nat) :=
   match k with
   | Nat.zero => fun x => x
   | Nat.succ k' => fun x => f (iter k' f x)