Nuprl Definition : node
node == Prop List × (Prop List)
Definitions occuring in Statement :
dl-prop: Prop,
list: T List,
product: x:A × B[x]
Definitions occuring in definition :
product: x:A × B[x],
list: T List,
dl-prop: Prop
FDL editor aliases :
node
Latex:
node == Prop List \mtimes{} (Prop List)
Date html generated:
2019_10_16-AM-11_24_10
Last ObjectModification:
2019_05_04-PM-05_29_11
Theory : dynamic!logic
Home
Index