Nuprl Definition : sparse-rep-base

sparse-rep-base(r) ==  TERMOF{small-sparse-rep-ext:o, 1:l} r


Definitions occuring in Statement :  apply: f a
Definitions occuring in definition :  apply: f a
TermOfs occuring in Definition :  small-sparse-rep-ext
FDL editor aliases :  sparse-rep-base
Latex:
sparse-rep-base(r)  ==    TERMOF\{small-sparse-rep-ext:o,  1:l\}  r


Date html generated: 2016_05_15-PM-06_31_47
Last ObjectModification: 2015_09_23-AM-08_03_38

Theory : general


Home Index