Mathlib v3 is deprecated. Go to Mathlib v4

Theorem list.bind_map

Modification history

2018-05-10 15:29
data/list/basic.lean
feat(data/multiset): add sections
Added list.bind_mapView on Github →