Theorem ProbabilityTheory.IndepSets.indep'

Modification history

2024-09-04 07:24

Mathlib/Probability/Independence/Basic.lean

feat: use junk value in `Kernel.map`, new class `IsZeroOrMarkovKernel` (#16403) …

Modified ProbabilityTheory.IndepSets.indep'View on Github →

2024-05-22 06:25

Mathlib/Probability/Independence/Basic.lean

chore: fix variables declarations in probability theory files (#13084) …

Modified ProbabilityTheory.IndepSets.indep'View on Github →

2023-06-04 05:44

Mathlib/Probability/Independence/Basic.lean

style: recover `Is` of `Foo` which is ported from `is_foo` (#4639) …

Modified ProbabilityTheory.IndepSets.indep'View on Github →

2023-06-02 15:12

Mathlib/Probability/Independence/Basic.lean

feat: port Probability.Independence.Basic (#4557) …

Added ProbabilityTheory.IndepSets.indep'View on Github →