Theorem MeasureTheory.SimpleFunc.mul_eq_map₂

Modification history