[Imo1982P3] fix authors

dwrensha · Dec 18, 2024 · f27ebfd · f27ebfd
1 parent cee3693
commit f27ebfd
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/Compfiles/Imo1982P3.lean b/Compfiles/Imo1982P3.lean
@@ -1,7 +1,7 @@
 /-
-Copyright (c) 2024 Alex Brodbelt. All rights reserved.
+Copyright (c) 2024 Violeta Hernández Palacios. All rights reserved.
 Released under Apache 2.0 license as described in the file LICENSE.
-Authors: Alex Brodbelt
+Authors: Violeta Hernández Palacios, Alex Brodbelt
 -/
 import Mathlib.Tactic