Theorem MeasurableSpace.isPiSystem_measurableSet

Modification history

2023-08-10 19:52

Mathlib/MeasureTheory/PiSystem.lean

chore: banish `Type _` and `Sort _` (#6499) …

Modified MeasurableSpace.isPiSystem_measurableSet View on Github →

2023-02-11 09:36

Mathlib/MeasureTheory/PiSystem.lean

feat: port MeasureTheory.PiSystem (#2160)

Added MeasurableSpace.isPiSystem_measurableSet View on Github →