Nuprl Definition : on-loc-prc

on-loc-prc(A;fX) == TERMOF{on-loc-class-locally-programmable:o, 1:l, 1:l} A fX

Proof not projected

Definitions occuring in Statement : apply: f a
FDL editor aliases : on-loc-prc

on-loc-prc(A;fX) == TERMOF\{on-loc-class-locally-programmable:o, 1:l, 1:l\} A fX Date html generated: 2011_10_20-PM-03_25_56 Last ObjectModification: 2011_09_26-AM-11_07_49 Home Index