Commit 2026-08-24 11:02 0d86f514
View on Github →chore(Probability/Martingale): remove defeq options in OptionalStopping (#42734)
Remove all 5 set_option backward.isDefEq.respectTransparency occurrences in Mathlib/Probability/Martingale/OptionalStopping.lean