Theorem ProbabilityTheory.IndepFun.comp

Modification history

2023-08-02 15:54

Mathlib/Probability/Independence/Basic.lean

refactor(Probability/Independence): define independence using kernel independence (#6294) …

Modified ProbabilityTheory.IndepFun.comp View on Github →

2023-06-02 15:12

Mathlib/Probability/Independence/Basic.lean

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

Added ProbabilityTheory.IndepFun.comp View on Github →