Nuprl Definition : delta
delta(i;j) == if (i =z j) then 1 else 0 fi
Definitions occuring in Statement :
ifthenelse: if b then t else f fi ,
eq_int: (i =z j),
natural_number: $n
Definitions occuring in definition :
ifthenelse: if b then t else f fi ,
eq_int: (i =z j),
natural_number: $n
FDL editor aliases :
delta
Latex:
delta(i;j) == if (i =\msubz{} j) then 1 else 0 fi
Date html generated:
2016_05_15-PM-11_08_17
Last ObjectModification:
2015_09_23-AM-08_27_48
Theory : rationals
Home
Index