Theorem MeasureTheory.SimpleFunc.seq_apply

Modification history