mathlib documentation

core / init.data.unsigned.basic

def unsigned_sz  :
Equations
def unsigned  :
Type
Equations
Equations
Equations