mathlib3
152ad1fc - feat(measure_theory/measure_space): add theorems about restrict and subtraction (#5000)

Commit

4 years ago

feat(measure_theory/measure_space): add theorems about restrict and subtraction (#5000) This is the next tranche of theorems toward Lebesgue-Radon-Nikodym.

Author

mzinkevi

Parents

dd13f00a

mathlib3 152ad1fc - feat(measure_theory/measure_space): add theorems about restrict and subtraction (#5000)

mathlib3
152ad1fc - feat(measure_theory/measure_space): add theorems about restrict and subtraction (#5000)