Theorem MeasureTheory.ext_of_integral_char_eq

Modification history