Theorem MeasureTheory.Measure.eq_rnDeriv

Modification history