Theorem MeasureTheory.SimpleFunc.nearestPtInd_le

Modification history