Theorem MeasureTheory.lintegral_edist_triangle

Modification history