Remove unnecessary blank line in UnionLift.lean

robertmaxton42 · web-flow · commit 78ab613c8213 · 2025-09-18T18:20:39.000-07:00
diff --git a/Mathlib/Data/Set/UnionLift.lean b/Mathlib/Data/Set/UnionLift.lean
@@ -174,5 +174,4 @@ theorem preimage_liftCover (t : Set β) : liftCover S f hf hS ⁻¹' t = ⋃ i,
 @[simp]
 theorem liftCover_restrict {i : ι} : (S i).restrict (liftCover S f hf hS) = f i := by ext x; simp
 
-
 end Set

-Original file line number
+Diff line change
 @[simp]
 theorem liftCover_restrict {i : ι} : (S i).restrict (liftCover S f hf hS) = f i := by ext x; simp
+-
 end Set