Theorem MeasureTheory.SimpleFunc.piecewise_compl

Modification history