mathlib documentation

core / init.data.nat.div

def nat.div_core (y : ) :
Equations
def nat.div (x y : ) :
Equations
@[instance]
Equations
def nat.mod_core (y : ) :
Equations
def nat.mod (x y : ) :
Equations
@[instance]
Equations