Theorem Option.bind_congr''

Modification history

2025-10-31 08:47
Mathlib/Data/Option/Basic.lean
chore: remove declarations deprecated before 2025-04-21 (#30759) …
Deleted Option.bind_congr''View on Github →
2025-04-03 05:22
Mathlib/Data/Option/Basic.lean
chore: bump toolchain to v4.19.0-rc2 (#23614)
Added Option.bind_congr''View on Github →