Theorem ProbabilityTheory.integrable_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.integrable_condVarView on Github →
2025-01-30 15:46
Mathlib/Probability/CondVar.lean
feat: conditional variance (#21051) …
Added ProbabilityTheory.integrable_condVarView on Github →