From 76c6aa1639e41391a8dab71862b088dadab876fb Mon Sep 17 00:00:00 2001 From: Stefan Kebekus Date: Mon, 30 Sep 2024 16:40:56 +0200 Subject: [PATCH] Updade mathlib --- .../{analyticOn_zeroSet.lean => analyticOnNhd_zeroSet.lean} | 0 Nevanlinna/{ => junk}/laplace2.lean | 0 2 files changed, 0 insertions(+), 0 deletions(-) rename Nevanlinna/{analyticOn_zeroSet.lean => analyticOnNhd_zeroSet.lean} (100%) rename Nevanlinna/{ => junk}/laplace2.lean (100%) diff --git a/Nevanlinna/analyticOn_zeroSet.lean b/Nevanlinna/analyticOnNhd_zeroSet.lean similarity index 100% rename from Nevanlinna/analyticOn_zeroSet.lean rename to Nevanlinna/analyticOnNhd_zeroSet.lean diff --git a/Nevanlinna/laplace2.lean b/Nevanlinna/junk/laplace2.lean similarity index 100% rename from Nevanlinna/laplace2.lean rename to Nevanlinna/junk/laplace2.lean