Nuprl Definition : int-moebius
int-moebius(n) == bag-moebius(IntDeq;factors(n))
Definitions occuring in Statement :
bag-moebius: bag-moebius(eq;b),
factors: factors(n),
int-deq: IntDeq
Definitions occuring in definition :
bag-moebius: bag-moebius(eq;b),
int-deq: IntDeq,
factors: factors(n)
FDL editor aliases :
int-moebius
Latex:
int-moebius(n) == bag-moebius(IntDeq;factors(n))
Date html generated:
2016_05_15-PM-09_50_32
Last ObjectModification:
2015_09_23-AM-08_21_19
Theory : power!series
Home
Index