Theorem MeasureTheory.lpMeasToLpTrimLie_symm_indicator

Modification history