Nuprl Definition : varterm

varterm(v) ==  inl v


Definitions occuring in Statement :  inl: inl x
Definitions occuring in definition :  inl: inl x
FDL editor aliases :  varterm
Latex:
varterm(v)  ==    inl  v


Date html generated: 2020_05_19-PM-09_53_38
Last ObjectModification: 2020_03_09-PM-04_08_15

Theory : terms


Home Index