Theorem MeasureTheory.lintegral_indicator_const

Modification history