Theorem Measurable.exists

Modification history

2025-04-03 10:57

Mathlib/MeasureTheory/MeasurableSpace/Basic.lean

chore: split `MeasureTheory.MeasurableSpace.Basic` (#23523) …

Modified Measurable.exists View on Github →

2023-12-11 13:18

Mathlib/MeasureTheory/MeasurableSpace/Basic.lean

feat: Measurability of logic operators (#8952) …

Added Measurable.exists View on Github →