TY  - RPRT
TI  - Lebesgue integration. Detailed proofs to be formalized in Coq
AU  - François Clément
AU  - Vincent Martin
PY  - 2021
UR  - https://arxiv.org/abs/2101.05678
ID  - 2101.05678
ER  -