Theorem ProbabilityTheory.stronglyMeasurable_condVar

Modification history

2025-02-16 09:19
Mathlib/Probability/CondVar.lean
feat: rewrite the linter for spaces before semicolons in Lean (#16532) …
Modified ProbabilityTheory.stronglyMeasurable_condVarView on Github →
2025-01-30 15:46
Mathlib/Probability/CondVar.lean
feat: conditional variance (#21051) …
Added ProbabilityTheory.stronglyMeasurable_condVarView on Github →