Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Theorem
probability_theory.cond_count_of_univ
Modification history
2022-09-18 11:24
src/probability/cond_count.lean
feat(archive/birthday): improve birthday problem (#16528) …
Added
probability_theory.cond_count_of_univ
View on Github →