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