Nuprl Definition : stamps35

stamps35(n) ==  TERMOF{stamps-example-ext:o, 1:l} n


Definitions occuring in Statement :  apply: f a
Definitions occuring in definition :  apply: f a,  stamps-example-ext
TermOfs occuring in Definition :  stamps-example-ext
FDL editor aliases :  stamps35
Latex:
stamps35(n)  ==    TERMOF\{stamps-example-ext:o,  1:l\}  n


Date html generated: 2016_05_13-PM-04_04_24
Last ObjectModification: 2016_01_05-PM-00_16_55

Theory : int_1


Home Index