This repository was archived by the owner on Jul 24, 2024. It is now read-only.

Commit ce965a5

committed

feat(measure_theory/decomposition/lebesgue): the Lebesgue decomposition theorem (#8687)

This PR proves the existence and uniqueness of the Lebesgue decompositions theorem which is the last step before proving the Radon-Nikodym theorem 🎉

1 parent 67501f6 commit ce965a5Copy full SHA for ce965a5

4 files changed

+601

-0

lines changed

+601

-0

lines changed

Comments

(0)