chore: fix source header (#1127)

leanprover-community · Dec 20, 2022 · 998f183 · 998f183
1 parent 2737973
commit 998f183
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Mathlib/GroupTheory/GroupAction/Opposite.lean b/Mathlib/GroupTheory/GroupAction/Opposite.lean
@@ -3,7 +3,7 @@ Copyright (c) 2020 Eric Wieser. All rights reserved.
 Released under Apache 2.0 license as described in the file LICENSE.
 Authors: Eric Wieser
 
-! This file was ported from Lean 3 source group_theory.group_action.opposite
+! This file was ported from Lean 3 source module group_theory.group_action.opposite
 ! leanprover-community/mathlib commit fc2ed6f838ce7c9b7c7171e58d78eaf7b438fb0e
 ! Please do not edit these lines, except to modify the commit id
 ! if you have ported upstream changes.