Mathlib v3 is deprecated. Go to Mathlib v4

Def string.get_rest

Modification history

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