Theorem Option.bind_eq_bind

Modification history

2024-01-05 01:23

Mathlib/Data/Option/Basic.lean

chore: bump std4 dependency (#9426) …

Deleted Option.bind_eq_bind View on Github →

2023-10-17 09:07

Mathlib/Data/Option/Basic.lean

chore: remove many `Type _` before the colon (#7718) …

Modified Option.bind_eq_bind View on Github →

2022-11-07 03:58

Mathlib/Data/Option/Basic.lean

feat: port Data.Option.Basic (#493) …

Added Option.bind_eq_bind View on Github →