mathlib documentation

data.char

More char instances #

This file provides a linear_order instance on char. char is the type of Unicode scalar values.

@[protected, instance]
Equations