Nuprl Definition : massoc
a ~ b == Symmetrize(x,y.x | y;a;b)
Definitions occuring in Statement :
mdivides: b | a,
symmetrize: Symmetrize(x,y.R[x; y];a;b)
Definitions occuring in definition :
symmetrize: Symmetrize(x,y.R[x; y];a;b),
mdivides: b | a
Latex:
a \msim{} b == Symmetrize(x,y.x | y;a;b)
Date html generated:
2016_05_16-AM-07_43_08
Last ObjectModification:
2015_09_23-AM-09_51_50
Theory : factor_1
Home
Index