Hola Axel! El funcionamiento es el siguiente:
Entras al primer for y se ejecuta su primer bucle, donde i = 0.
¿En su primer bucle que se ejecuta? Otro for. Entramos a ejecutar todo un segundo bloque for para el primer bucle con i = 0. Es decir, i se mantiene siendo 0 hasta que termina de ejecutarse el for anidado dentro del primero, una vez termina de ejecutarse el for con j, se incrementa la i en caso de que se cumpla la condicion.
Espero se entienda.