Theorem MeasureTheory.Integrable.mono

Modification history