mathlib3 documentation

core / init.data.string.ops

def string.split (p : char bool) (s : string) :
Equations