Nuprl Definition : bag-moebius
bag-moebius(eq;b) == if bag-has-no-repeats(eq;b) then if (#(b) rem 2 =z 0) then 1 else -1 fi else 0 fi
Definitions occuring in Statement :
bag-has-no-repeats: bag-has-no-repeats(eq;b),
bag-size: #(bs),
ifthenelse: if b then t else f fi ,
eq_int: (i =z j),
remainder: n rem m,
minus: -n,
natural_number: $n
Definitions occuring in definition :
bag-has-no-repeats: bag-has-no-repeats(eq;b),
ifthenelse: if b then t else f fi ,
eq_int: (i =z j),
remainder: n rem m,
bag-size: #(bs),
minus: -n,
natural_number: $n
FDL editor aliases :
bag-moebius
Latex:
bag-moebius(eq;b) ==
if bag-has-no-repeats(eq;b) then if (\#(b) rem 2 =\msubz{} 0) then 1 else -1 fi else 0 fi
Date html generated:
2016_05_15-PM-08_11_56
Last ObjectModification:
2015_09_23-AM-08_21_05
Theory : bags_2
Home
Index