Commit 2025-12-19 18:36 63063d5c

View on Github →

feat: generalize two lemmas about StieltjesFunction (#33058)

Estimated changes

Modified Mathlib/MeasureTheory/Measure/Stieltjes.lean

modified theorem Monotone.stieltjesFunction_eq

modified theorem StieltjesFunction.iInf_Ioi_eq