Theorem Option.bind_congr''

Modification history

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 →