Theorem MeasureTheory.FiniteMeasure.ext_of_forall_integral_eq

Modification history