Nuprl Definition : subterm

s << t ==  s subterm-rel(opr) t


Definitions occuring in Statement :  subterm-rel: subterm-rel(opr),  infix_ap: x f y
Definitions occuring in definition :  infix_ap: x f y,  subterm-rel: subterm-rel(opr)
FDL editor aliases :  subterm
Latex:
s  <<  t  ==    s  subterm-rel(opr)  t


Date html generated: 2020_05_19-PM-09_54_08
Last ObjectModification: 2020_03_09-PM-04_27_54

Theory : terms


Home Index