Nuprl Definition : term-opr

term-opr(t) ==  fst(outr(t))


Definitions occuring in Statement :  outr: outr(x),  pi1: fst(t)
Definitions occuring in definition :  pi1: fst(t),  outr: outr(x)
FDL editor aliases :  term-opr
Latex:
term-opr(t)  ==    fst(outr(t))


Date html generated: 2020_05_19-PM-09_53_53
Last ObjectModification: 2020_03_09-PM-04_08_24

Theory : terms


Home Index