Commit 2026-08-14 12:06 4d6abae8
View on Github →chore(Probability): remove 15/24 backward.isDefEq.respectTransparency options (#42733)
Remove 15 of the 24 set_option backward.isDefEq.respectTransparency (and .types) occurrences in Mathlib/Probability.
See #42734 for 5 more.
See #42735 for 1 more.
See #42738 for 2 more in Mathlib/Probability.
See #42739 for the last one.