Mathlib v3 is deprecated. Go to Mathlib v4

Def list.get_rest

Modification history

2019-11-04 15:02
src/data/list/defs.lean
feat(simps): allow the user to specify the projections (#1630) …
Added list.get_restView on Github →