Theorem MeasureTheory.SimpleFunc.measure_preimage_lt_top_of_memℒp

Modification history