docs(Analysis/SpecialFunctions/ImproperIntegrals): update authorship

Deep0Thinking · Deep0Thinking · commit 0570c4e452bc · 2026-02-03T20:48:02.000-05:00
diff --git a/Mathlib/Analysis/SpecialFunctions/ImproperIntegrals.lean b/Mathlib/Analysis/SpecialFunctions/ImproperIntegrals.lean
@@ -1,7 +1,7 @@
 /-
 Copyright (c) 2023 David Loeffler. All rights reserved.
 Released under Apache 2.0 license as described in the file LICENSE.
-Authors: David Loeffler
+Authors: David Loeffler, Louis (Yiyang) Liu
 -/
 module
 
