Def String.mapTokens

Modification history

2021-12-09 16:23
Mathlib/Data/String/Defs.lean
feat(*): some auxiliary definitions for toAdditive (#112) …
Added String.mapTokensView on Github →