Theorem MeasureTheory.SimpleFunc.restrict_univ

Modification history