Theorem MeasureTheory.lpMeasSubgroupToLpTrim_left_inv

Modification history