diff --git a/Mathlib/GroupTheory/FinitelyPresentedGroup.lean b/Mathlib/GroupTheory/FinitelyPresentedGroup.lean
index 9d0f1e934cee4a..bab13150585df4 100644
--- a/Mathlib/GroupTheory/FinitelyPresentedGroup.lean
+++ b/Mathlib/GroupTheory/FinitelyPresentedGroup.lean
@@ -1,8 +1,8 @@
 /-
 Copyright (c) 2025 Hang Lu Su. All rights reserved.
 Released under Apache 2.0 license as described in the file LICENSE.
-Authors: Riccardo Brasca, Fabrizio Barroero, Stefano Francaviglia,
-  Francesco Milizia, Valerio Proietti, Hang Lu Su, Lawrence Wu
+Authors: Riccardo Brasca, Thomas Browning, Kevin Buzzard, Hang Lu Su,
+Fabrizio Barroero, Stefano Francaviglia, Francesco Milizia, Valerio Proietti, Lawrence Wu
 -/
 module