fix: typo (leanprover-community#10966)

This was accidentally mangled in leanprover-community#10900.
FormalMathematicsLab · Feb 25, 2024 · dc217ae · dc217ae
1 parent a62da66
commit dc217ae
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/Mathlib/RingTheory/Subring/Units.lean b/Mathlib/RingTheory/Subring/Units.lean
@@ -1,7 +1,7 @@
 /-
-Copyright (c) 2021 Chris Birbeck. All rights reserved.
+Copyright (c) 2021 Chris Birkbeck. All rights reserved.
 Released under Apache 2.0 license as described in the file LICENSE.
-Authors: Chris Birbeck
+Authors: Chris Birkbeck
 -/
 
 import Mathlib.GroupTheory.Submonoid.Order