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