Theorem ProbabilityTheory.cond_apply_self

Modification history

2025-12-17 21:56
Mathlib/Probability/ConditionalProbability.lean
chore(misc): fix whitespace (#33004) …
Modified ProbabilityTheory.cond_apply_selfView on Github →
2024-08-29 12:34
Mathlib/Probability/ConditionalProbability.lean
feat: Conditioning an event by itself (#16249) …
Added ProbabilityTheory.cond_apply_selfView on Github →