Theorem Option.none_bind'

Modification history

2025-10-31 08:47
Mathlib/Data/Option/Basic.lean
chore: remove declarations deprecated before 2025-04-21 (#30759) …
Deleted Option.none_bind'View on Github →
2025-06-03 08:51
Mathlib/Data/Option/Basic.lean
chore: bump toolchain to v4.21.0-rc1 (#25384)
Modified Option.none_bind'View on Github →
2025-05-02 23:00
Mathlib/Data/Option/Basic.lean
chore: bump toolchain to v4.20.0-rc2 (#24561)
Modified Option.none_bind'View on Github →
2022-11-07 03:58
Mathlib/Data/Option/Basic.lean
feat: port Data.Option.Basic (#493) …
Added Option.none_bind'View on Github →