Def ProbabilityTheory.cond

Modification history

2023-05-10 10:25

Mathlib/Probability/ConditionalProbability.lean

feat: port Probability.ConditionalProbability (#3885)

Added ProbabilityTheory.cond View on Github →