chore: change authorship of Leibniz series proof (#11578)

leanprover-community · Mar 22, 2024 · a1116c1 · a1116c1
1 parent 90df05c
commit a1116c1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Mathlib/Data/Real/Pi/Leibniz.lean b/Mathlib/Data/Real/Pi/Leibniz.lean
@@ -1,7 +1,7 @@
 /-
 Copyright (c) 2020 Benjamin Davidson. All rights reserved.
 Released under Apache 2.0 license as described in the file LICENSE.
-Authors: Benjamin Davidson
+Authors: Benjamin Davidson, Jeremy Tan
 -/
 import Mathlib.Analysis.Complex.AbelLimit
 import Mathlib.Analysis.SpecialFunctions.Complex.Arctan