Nuprl Definition : bound-term-size
bound-term-size(bt) ==  term-size(snd(bt))
Definitions occuring in Statement : 
term-size: term-size(t)
, 
pi2: snd(t)
Definitions occuring in definition : 
term-size: term-size(t)
, 
pi2: snd(t)
FDL editor aliases : 
bound-term-size
Latex:
bound-term-size(bt)  ==    term-size(snd(bt))
Date html generated:
2020_05_19-PM-09_53_58
Last ObjectModification:
2020_03_09-PM-04_08_26
Theory : terms
Home
Index