Theorem Option.bind_eq_bind'

Modification history

2024-01-05 01:23
Mathlib/Data/Option/Basic.lean
chore: bump std4 dependency (#9426) …
Added Option.bind_eq_bind'View on Github →