Theorem Measurable.codRestrict

Modification history

2026-03-18 19:14
Mathlib/MeasureTheory/MeasurableSpace/Constructions.lean
feat(ProbabilityTheory): Conditional Jensen's Inequality (#27953) …
Added Measurable.codRestrictView on Github →