Theorem MeasureTheory.SimpleFunc.sup_eq_map₂

Modification history