mathlib3 documentation

core / init.data.char.classes

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