Nuprl Definition : isvarterm

isvarterm(t) ==  isl(t)


Definitions occuring in Statement :  isl: isl(x)
Definitions occuring in definition :  isl: isl(x)
FDL editor aliases :  isvarterm
Latex:
isvarterm(t)  ==    isl(t)


Date html generated: 2020_05_19-PM-09_53_36
Last ObjectModification: 2020_03_09-PM-04_08_13

Theory : terms


Home Index