Def ProbabilityTheory.delabCondApplied

Modification history

2025-11-19 06:07
Mathlib/Probability/ConditionalProbability.lean
chore: move Mathlib to the module system (#31786) …
Deleted ProbabilityTheory.delabCondAppliedView on Github →
2025-03-09 07:00
Mathlib/Probability/ConditionalProbability.lean
fix: prevent probability notation clashing with list notation (#22699) …
Added ProbabilityTheory.delabCondAppliedView on Github →