Theorem MeasureTheory.SimpleFunc.extend_comp_eq

Modification history