Theorem AEMeasurable.of_eval

Modification history

2026-08-31 11:24
Mathlib/MeasureTheory/Measure/MeasureSpaceDef.lean
chore: rename measurable_pi_lambda to Measurable.of_eval (#42979) …
Added AEMeasurable.of_evalView on Github →