Mathlib v3 is deprecated. Go to Mathlib v4

Def list.map_head

Modification history

2020-10-07 18:09
src/data/list/defs.lean
fix(data/list/defs): remove map_head; rename map_last to modify_last (#4507) …
Deleted list.map_headView on Github →
2018-11-28 01:31
data/list/basic.lean
feat(data/list): separate out list defs into `data.lists.defs`
Modified list.map_headView on Github →
2018-09-02 17:21
data/list/basic.lean
feat(tactic/subtype_instance): generating subtype instances
Added list.map_headView on Github →