mathlib documentation

core / init.data.unsigned.basic

def unsigned_sz  :

Equations
def unsigned  :
Type

Equations

Equations

Equations