[Imo1978P1] add self as author

dwrensha · Nov 26, 2024 · d68e770 · d68e770
1 parent f4e38f0
commit d68e770
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Compfiles/Imo1978P1.lean b/Compfiles/Imo1978P1.lean
@@ -1,7 +1,7 @@
 /-
 Copyright (c) 2024 The Compfiles Contributors. All rights reserved.
 Released under Apache 2.0 license as described in the file LICENSE.
-Authors: InternLM-MATH LEAN Formalizer v0.1
+Authors: InternLM-MATH LEAN Formalizer v0.1, David Renshaw
 -/
 
 import Mathlib.Tactic