mathlib documentation

core.init.data.string.ops

def string.split  :
(charbool)stringlist string

Equations