mathlib

115f8c7a - fix(probability): remove unused argument from `cond_cond_eq_cond_inter` (#12583)

fix(probability): remove unused argument from `cond_cond_eq_cond_inter` (#12583) This was a property that we already derived within the proof itself from conditionable intersection (I think I forgot to remove this when I made the PR).