From a1116c1cb6dac84fb3d0172d37e00a3e88e2906b Mon Sep 17 00:00:00 2001 From: Jeremy Tan Jie Rui Date: Fri, 22 Mar 2024 12:17:19 +0000 Subject: [PATCH] chore: change authorship of Leibniz series proof (#11578) --- Mathlib/Data/Real/Pi/Leibniz.lean | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Mathlib/Data/Real/Pi/Leibniz.lean b/Mathlib/Data/Real/Pi/Leibniz.lean index d53fd53c14572..1cc31a1038349 100644 --- 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