Nuprl Definition : term-size

term-size(t) ==  coterm-size(t)


Definitions occuring in Statement :  coterm-size: coterm-size(t)
Definitions occuring in definition :  coterm-size: coterm-size(t)
FDL editor aliases :  term-size
Latex:
term-size(t)  ==    coterm-size(t)


Date html generated: 2020_05_19-PM-09_53_45
Last ObjectModification: 2020_03_09-PM-04_08_19

Theory : terms


Home Index