Theorem aemeasurable_pi_lambda

Modification history

2026-08-31 11:24
Mathlib/MeasureTheory/Measure/MeasureSpaceDef.lean
chore: rename measurable_pi_lambda to Measurable.of_eval (#42979) …
Deleted aemeasurable_pi_lambdaView on Github →
2025-03-29 13:22
Mathlib/MeasureTheory/Measure/MeasureSpaceDef.lean
feat(Probability/Independence/Basic): upstream `iIndepFun_iff_pi_map_eq_map` from PFR (#23418) …
Added aemeasurable_pi_lambdaView on Github →