Theorem Measurable.of_eval

Modification history

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