`BookProof.ChapterAttentionLowRank.rank_scoreMatrix_le` (Q K : Fin m → Fin d → ℝ) : (scoreMatrix Q K).rank ≤ d

Initializing...

`BookProof.ChapterAttentionLowRank.rank_scoreMatrix_le` (Q K : Fin m → Fin d → ℝ) : (scoreMatrix Q K).rank ≤ d · Prove2Me