Theorem MeasureTheory.FiniteMeasure.map_apply

Modification history