mathlib3
cc365b5c - feat(probability/independence): lemmas about pi_Union_Inter of a sequence of singletons (#17013)

Commit

3 years ago

feat(probability/independence): lemmas about pi_Union_Inter of a sequence of singletons (#17013) Co-authored-by: Kexing Ying Co-authored-by: JasonKYi <kexing.ying19@imperial.ac.uk>

Author

RemyDegenne

Parents

69eed2f6

mathlib3 cc365b5c - feat(probability/independence): lemmas about pi_Union_Inter of a sequence of singletons (#17013)

mathlib3
cc365b5c - feat(probability/independence): lemmas about pi_Union_Inter of a sequence of singletons (#17013)