Theorem MeasureTheory.OuterMeasure.isCaratheodory_compl

Modification history