Def MeasurableEquiv.piMeasurableEquivTprod

Modification history

2023-04-17 14:24

Mathlib/MeasureTheory/MeasurableSpace.lean

chore: tidy various files (#3483)

Deleted MeasurableEquiv.piMeasurableEquivTprod View on Github →

2023-02-11 07:44

Mathlib/MeasureTheory/MeasurableSpace.lean

feat: port MeasureTheory.MeasurableSpace (#2174)

Added MeasurableEquiv.piMeasurableEquivTprod View on Github →