mathlib documentation

core / init.data.char.classes

def char.is_whitespace (c : char) :
Prop
Equations
def char.is_upper (c : char) :
Prop
Equations
def char.is_lower (c : char) :
Prop
Equations
def char.is_alpha (c : char) :
Prop
Equations
def char.is_digit (c : char) :
Prop
Equations
def char.is_alphanum (c : char) :
Prop
Equations
def char.is_punctuation (c : char) :
Prop
Equations
def char.to_lower (c : char) :
Equations
@[instance]
Equations