Def ProbabilityTheory.condUnexpander

Modification history

2025-11-19 06:07

Mathlib/Probability/ConditionalProbability.lean

chore: move Mathlib to the module system (#31786) …

Deleted ProbabilityTheory.condUnexpander View on Github →

2025-03-09 07:00

Mathlib/Probability/ConditionalProbability.lean

fix: prevent probability notation clashing with list notation (#22699) …

Added ProbabilityTheory.condUnexpander View on Github →