feat(MeasureTheory): add Resolvent (Stieltjes/Cauchy) Transform #37245

Open

DavidLedvinka wants to merge 15 commits intoleanprover-community:masterfrom

DavidLedvinka:stieltjes_transform

Commits on Jan 11, 2026

progress
David Ledvinka
committed

Commits on Jan 24, 2026

minor changes?
David Ledvinka
committed
test
David Ledvinka
committed

Commits on Jan 25, 2026

Revert "test"
David Ledvinka
committed

Commits on Jan 26, 2026

Merge branch 'master' of https://github.com/DavidLedvinka/mathlib4
David Ledvinka
committed

Commits on Jan 27, 2026

Merge branch 'master' into stieltjes_transform
David Ledvinka
committed

Commits on Mar 24, 2026

Merge branch 'master' into stieltjes_transform
David Ledvinka
committed

Commits on Mar 25, 2026

test
David Ledvinka
committed
partial prog
David Ledvinka
committed

Commits on Mar 26, 2026

first draft complete
David Ledvinka
committed
mk_all
David Ledvinka
committed
fix mistake
David Ledvinka
committed
clean
David Ledvinka
committed
unused_assumption
David Ledvinka
committed
test
David Ledvinka
committed