Proof induction that the infix list of binary tree research (BTR) are ordered

后端未结

关注

 0  1178

i did this function difinition

infixBTR(beT, racine,list)
  infix(leftTree,racineLeftTree)
  insert(racine, list)
  infix(rightTree, racineRightTree)
<