Nuprl Definition : div_nrel
Div(a;n;q) == n * q ≤ a < n * (q + 1)
Definitions occuring in Statement :
lelt: i ≤ j < k,
multiply: n * m,
add: n + m,
natural_number: $n
Definitions occuring in definition :
lelt: i ≤ j < k,
multiply: n * m,
add: n + m,
natural_number: $n
FDL editor aliases :
div_nrel
Latex:
Div(a;n;q) == n * q \mleq{} a < n * (q + 1)
Date html generated:
2016_05_14-AM-07_23_52
Last ObjectModification:
2015_09_22-PM-05_46_18
Theory : int_2
Home
Index