mathlib documentation

data.char

@[instance]
Equations