Изменения
→Псевдокод
'''Node''' moveRedLeft(h : '''Node''')
colorFlip(h)
if (isRed(h.right.left))
h.right = rotateRight(h.right)
h = rotateLeft(h)
'''Node''' deleteMin(h : '''Node''')
<span style="color:#008000">// удаляем узел на нижнем уровне(h должен быть красным по инварианту)</span>
if (h.left == ''null'')
'''return''' ''null''
<span style="color:#008000">// Если необходимо, пропушим красную ссылку вниз</span>