Theorem map_bind

Modification history

2024-10-04 03:33

Mathlib/Control/Basic.lean

chore: bump toolchain to v4.13.0-rc2 (#17377) …

Deleted map_bind View on Github →

2022-11-25 20:23

Mathlib/Control/Basic.lean

feat: port Control.Basic (#588) …

Added map_bind View on Github →