Nuprl Definition : vs-tree-val
vs-tree-val(vs;t) == l_tree_ind(t; Leaf(p)⇒ fst(p); Node(k,l,r)⇒ v,w.k * v + w)
Definitions occuring in Statement :
vs-mul: a * x,
vs-add: x + y,
l_tree_ind: l_tree_ind,
pi1: fst(t)
Definitions occuring in definition :
l_tree_ind: l_tree_ind,
pi1: fst(t),
vs-mul: a * x,
vs-add: x + y
FDL editor aliases :
vs-tree-val
Latex:
vs-tree-val(vs;t) == l\_tree\_ind(t; Leaf(p){}\mRightarrow{} fst(p); Node(k,l,r){}\mRightarrow{} v,w.k * v + w)
Date html generated:
2018_05_22-PM-09_42_03
Last ObjectModification:
2018_01_23-PM-01_49_30
Theory : linear!algebra
Home
Index