Step * of Lemma bm_numItems_T

[key,value,cnt,left,right:Top].  (bm_numItems(bm_T(key;value;cnt;left;right)) cnt)
BY
(Reduce THEN Auto) }


Latex:


\mforall{}[key,value,cnt,left,right:Top].    (bm\_numItems(bm\_T(key;value;cnt;left;right))  \msim{}  cnt)


By

(Reduce  0  THEN  Auto)




Home Index