Update Mathlib/CategoryTheory/MorphismProperty/RetractArgument.lean

leanprover-community · Jan 25, 2025 · bf3215b · bf3215b
1 parent 2bc935b
commit bf3215b
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/Mathlib/CategoryTheory/MorphismProperty/RetractArgument.lean b/Mathlib/CategoryTheory/MorphismProperty/RetractArgument.lean
@@ -3,7 +3,6 @@ Copyright (c) 2024 Joël Riou. All rights reserved.
 Released under Apache 2.0 license as described in the file LICENSE.
 Authors: Joël Riou
 -/
-
 import Mathlib.CategoryTheory.MorphismProperty.Factorization
 import Mathlib.CategoryTheory.MorphismProperty.LiftingProperty