Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-06-23 02:01 d7283d7f

View on Github →

feat(string): split_on a char (#1145)

lib: string
type

Estimated changes

Modified src/data/string/defs.lean

added def string.split_on