Nuprl Definition : sparse-signed-rep

sparse-signed-rep(m) ==  evalall(TERMOF{sparse-signed-rep-exists-ext:o, 1:l} m)


Definitions occuring in Statement :  evalall: evalall(t),  apply: f a
Definitions occuring in definition :  evalall: evalall(t),  apply: f a
TermOfs occuring in Definition :  sparse-signed-rep-exists-ext
FDL editor aliases :  sparse-signed-rep
Latex:
sparse-signed-rep(m)  ==    evalall(TERMOF\{sparse-signed-rep-exists-ext:o,  1:l\}  m)


Date html generated: 2016_05_15-PM-06_33_21
Last ObjectModification: 2015_09_23-AM-08_03_49

Theory : general


Home Index