Theorem MeasureTheory.SimpleFunc.extend_apply'

Modification history