s

ErikEk · ErikEk · commit 9463cf457ca6 · 2025-09-12T13:49:52.000+02:00
diff --git a/theorems.lean b/theorems.lean
@@ -114,8 +114,6 @@ lemma sum_append (l1 l2 : List Nat) : (l1 ++ l2).sum = l1.sum + l2.sum := by
       -- Reassociate
       rw [Nat.add_assoc]
 
-
-
 lemma map_id (l : List Nat) : l.map id = l := by
   induction l with
   | nil =>
