Nuprl Definition : special-mod4-decomp

special-mod4-decomp(m) ==  TERMOF{sparse-signed-rep-lemma1-ext:o, 1:l} m


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


Date html generated: 2016_05_15-PM-06_30_36
Last ObjectModification: 2015_09_23-AM-08_03_29

Theory : general


Home Index