Theorem MeasureTheory.SimpleFunc.pair_apply

Modification history