Theorem MeasureTheory.lintegral_indicator₀

Modification history