Commit 2020-02-05 17:46 8786ea6d
View on Github →refactor(measure_theory/set_integral): move set integral into namespace set and add some lemmas (#1950)
- move set integral into namespace set and add some lemmas
- Update bochner_integration.lean
- better theorem names
- Update set_integral.lean
- Update set_integral.lean