mathlib documentation

core / init.data.string.ops

def string.split (p : charbool) (s : string) :

Equations