Theorem MeasureTheory.SimpleFunc.nearestPtInd_succ

Modification history