Mathlib Changelog
v4
Changelog
About
Github
Theorem
ProbabilityTheory.condCount_add_compl_eq
Modification history
2024-10-11 07:20
Mathlib/Probability/CondCount.lean
chore: rename `condCount` to `uniformOn` (#17571)
Deleted
ProbabilityTheory.condCount_add_compl_eq
View on Github →
2023-05-11 10:44
Mathlib/Probability/CondCount.lean
feat: port Probability.CondCount (#3889)
Added
ProbabilityTheory.condCount_add_compl_eq
View on Github →