Theorem ProbabilityTheory.condVar_neg

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