The files in lebesgue_integral_theory should be organized
in such a way that the following high-level topics can be easily
identified:
- Algebra of integrands: Linearity, order, that kind of thing
- Topology of integrals: various approximation results, continuity of things
- Algebra of domains: unions, subsets, etc of the domain of integration
- Integrability
Is it the case?
The files in
lebesgue_integral_theoryshould be organizedin such a way that the following high-level topics can be easily
identified:
Is it the case?