Theorem measurable_pi_lambda

Modification history

2026-08-31 11:24
Mathlib/MeasureTheory/MeasurableSpace/Constructions.lean
chore: rename measurable_pi_lambda to Measurable.of_eval (#42979) …
Deleted measurable_pi_lambdaView on Github →
2025-04-03 10:57
Mathlib/MeasureTheory/MeasurableSpace/Basic.lean
chore: split `MeasureTheory.MeasurableSpace.Basic` (#23523) …
Modified measurable_pi_lambdaView on Github →
2025-03-05 21:20
Mathlib/MeasureTheory/MeasurableSpace/Basic.lean
chore(MeasureTheory): rename pi family from π to X (#22604) …
Modified measurable_pi_lambdaView on Github →
2023-02-11 07:44
Mathlib/MeasureTheory/MeasurableSpace.lean
feat: port MeasureTheory.MeasurableSpace (#2174)
Added measurable_pi_lambdaView on Github →