Nuprl Definition : int-vs
ℤ == Point= ℤ zero= 0 a+b= a + b a*b= a * b
Definitions occuring in Statement :
mk-vs: mk-vs,
multiply: n * m,
add: n + m,
natural_number: $n,
int: ℤ
Definitions occuring in definition :
mk-vs: mk-vs,
int: ℤ,
natural_number: $n,
add: n + m,
multiply: n * m
FDL editor aliases :
int-vs
Latex:
\mBbbZ{} == Point= \mBbbZ{} zero= 0 a+b= a + b a*b= a * b
Date html generated:
2019_10_31-AM-06_26_39
Last ObjectModification:
2019_08_02-PM-03_55_16
Theory : linear!algebra
Home
Index