chore: fix typo in porting header for Combinatorics.Quiver.Symmetric (#…

…1297)
leanprover-community · Jan 2, 2023 · 62c43c6 · 62c43c6
1 parent 625deea
commit 62c43c6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Mathlib/Combinatorics/Quiver/Symmetric.lean b/Mathlib/Combinatorics/Quiver/Symmetric.lean
@@ -4,7 +4,7 @@ Released under Apache 2.0 license as described in the file LICENSE.
 Authors: David Wärn, Antoine Labelle, Rémi Bottinelli
 Ported by: Joël Riou, Rémi Bottinelli
 
-! This file was ported from Lean 3 source module combinatorics.quiver.connected_component
+! This file was ported from Lean 3 source module combinatorics.quiver.symmetric
 ! leanprover-community/mathlib commit 706d88f2b8fdfeb0b22796433d7a6c1a010af9f2
 ! Please do not edit these lines, except to modify the commit id
 ! if you have ported upstream changes.