Nuprl Definition : SM1-class

SM1-class(init;trX) == SM-gen-class(init;1;1;

n.trX)

Proof not projected

Definitions occuring in Statement : SM-gen-class: SM-gen-class(init;n;m;trXs), lambda:

x.A[x], natural_number: $n
FDL editor aliases : SM1-class

SM1-class(init;trX) == SM-gen-class(init;1;1;\mlambda{}n.trX) Date html generated: 2011_10_20-PM-03_36_03 Last ObjectModification: 2011_08_17-AM-00_49_10 Home Index