Dificultad con explicación de sentencia for

[CalgaryCorpus]

Olvida la asignación, pues si la consideras, confundes la regla.

Cuando dices la regla, pareciera que ella incluyera la asignacion, pero no es asi
"El valor y el tipo de una lista de expresiones separadas por comas es el valor y el tipo de la expresión que se encuentra más a la derecha de la lista."

Solo debes considerar "una lista de expresiones separadas por comas" para aplicar la regla

Si asignas

i = lista de expresiones separadas por comas

y aplicas la regla a "i", estas aplicando mal la regla, pues la asignación NO ES PARTE de la lista de expresiones separadas por comas.

Si fuera parte te encontraría la razón, pero NO es parte.

En la regla
"El valor y el tipo de una lista de expresiones separadas por comas es el valor y el tipo de la expresión que se encuentra más a la derecha de la lista."
( j = 3, k = 4 ) seria un ejemplo de una lista de expresiones separadas ṕor comas

i = ( j = 3, k = 4 ) NO es una lista de expresiones separadas por comas, pero SI ES una instruccion que CONTIENE una.
Adonde se aplica la regla? solo al lado derecho de la asignacion.

Que valor se asigna a i? Pues el valor de la expresion de la derecha
Que valor es ese? el valor de la ultima expresion
Que tipo tiene el valor de esa expresion? el tipo de la ultima expresion

Si consideras a la asignacion parte de la regla, la aplicas mal.