mathlib3
dd6707c9 - feat(measure_theory/integral): a couple of lemmas on integrals and integrability (#10983)

Commit

4 years ago

feat(measure_theory/integral): a couple of lemmas on integrals and integrability (#10983) Adds a couple of congruence lemmas for integrating on intervals and integrability

Author

b-mehta

Parents

34e79d6c

mathlib3 dd6707c9 - feat(measure_theory/integral): a couple of lemmas on integrals and integrability (#10983)

mathlib3
dd6707c9 - feat(measure_theory/integral): a couple of lemmas on integrals and integrability (#10983)