Theorem ProbabilityTheory.condVar_of_not_le

Modification history

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