Threadвсе так, каждую итерацию переменная а замораживается в yeld и переменная i её отображает в принте второго цикла.

Хорошо. Теперь перейдём ко второй итерации. Что происходит в функции? a и b снова равны 1, в цикле у нас, получается, что yield отдаёт своё сохранённое прежде значение равное 1 для проведения операций присвоения. Так?