Theorem MeasureTheory.SimpleFunc.nearestPtInd_zero

Modification history