Theorem MeasureTheory.lintegral_prod_swap

Modification history