From dba4e2d9c4d1e4ca5155b7c79ba0c94759ed40ac Mon Sep 17 00:00:00 2001 From: Stefan Kebekus Date: Fri, 13 Sep 2024 07:42:57 +0200 Subject: [PATCH] Rename file --- ...morphic_JensenFormula2.lean => holomorphic_JensenFormula.lean} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename Nevanlinna/{holomorphic_JensenFormula2.lean => holomorphic_JensenFormula.lean} (100%) diff --git a/Nevanlinna/holomorphic_JensenFormula2.lean b/Nevanlinna/holomorphic_JensenFormula.lean similarity index 100% rename from Nevanlinna/holomorphic_JensenFormula2.lean rename to Nevanlinna/holomorphic_JensenFormula.lean