mathlib documentation

core.init.data.char.classes

def char.is_whitespace  :
char → Prop

Equations
def char.is_upper  :
char → Prop

Equations
def char.is_lower  :
char → Prop

Equations
def char.is_alpha  :
char → Prop

Equations
def char.is_digit  :
char → Prop

Equations
def char.is_alphanum  :
char → Prop

Equations
def char.is_punctuation  :
char → Prop

Equations
def char.to_lower  :

Equations
@[instance]

Equations