`BookProof.ChapterAttentionMixing.pushIter_zero` (P : Fin m → Fin m → ℝ) (p : Fin m → ℝ) : pushIter P 0 p = p

Initializing...

`BookProof.ChapterAttentionMixing.pushIter_zero` (P : Fin m → Fin m → ℝ) (p : Fin m → ℝ) : pushIter P 0 p = p · Prove2Me