Nuprl Definition : term-bts

term-bts(t) ==  snd(outr(t))


Definitions occuring in Statement :  outr: outr(x),  pi2: snd(t)
Definitions occuring in definition :  pi2: snd(t),  outr: outr(x)
FDL editor aliases :  term-bts
Latex:
term-bts(t)  ==    snd(outr(t))


Date html generated: 2020_05_19-PM-09_53_55
Last ObjectModification: 2020_03_09-PM-04_08_25

Theory : terms


Home Index