Theorem IsCountablySpanning.null_of_forall_restrict_null

Modification history

2026-03-18 19:14
Mathlib/MeasureTheory/Measure/Restrict.lean
feat(ProbabilityTheory): Conditional Jensen's Inequality (#27953) …
Added IsCountablySpanning.null_of_forall_restrict_nullView on Github →