Mathlib v3 is deprecated. Go to Mathlib v4

Def list.modify_last

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) …
Added list.modify_lastView on Github →