mathlib
87d8c4b3 - doc(measure_theory/integral): integrability docstrings (#16269)

Commit

3 years ago

doc(measure_theory/integral): integrability docstrings (#16269) This PR adds a few docstrings to make the conditions and more readable.

Author

mcdoll

Parents