Nuprl Definition : prior-as-rec-bind-class-out2

prior-as-rec-bind-class-out2(i) == Skip-e(send-first-class(i))

Definitions occuring in Statement : send-first-class: send-first-class(b), but-first-class: Skip-e(X)
FDL editor aliases : prior-as-rec-bind-class-out2

Latex:
prior-as-rec-bind-class-out2(i) == Skip-e(send-first-class(i)) Date html generated: 2015_07_21-PM-03_14_34 Last ObjectModification: 2012_04_17-AM-00_31_45 Home Index