Theorem MeasureTheory.average_union_mem_segment

Modification history