Nuprl Definition : bound-term
bound-term(opr) == varname() List × term(opr)
Definitions occuring in Statement :
term: term(opr),
varname: varname(),
list: T List,
product: x:A × B[x]
Definitions occuring in definition :
product: x:A × B[x],
list: T List,
term: term(opr)
FDL editor aliases :
bound-term
Latex:
bound-term(opr) == varname() List \mtimes{} term(opr)
Date html generated:
2020_05_19-PM-09_53_49
Last ObjectModification:
2020_03_09-PM-04_08_22
Theory : terms
Home
Index