analysis
analysis copied to clipboard
math-comp
Organization of the files in `lebesgue_integral_theory`
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?
