Theorem ProbabilityTheory.kernel.IndepSets.indep'

Modification history

2024-07-23 07:55

Mathlib/Probability/Independence/Kernel.lean

refactor(Probability): Make kernels a type (#15021) …

Deleted ProbabilityTheory.kernel.IndepSets.indep'View on Github →

2023-08-02 05:14

Mathlib/Probability/Independence/Kernel.lean

feat(Probability/Independence): define independence wrt a kernel and a measure (#6106) …

Added ProbabilityTheory.kernel.IndepSets.indep'View on Github →