Theorem IsCountablySpanning.null_of_forall_inter_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_inter_nullView on Github →