`BookProof.ChapterCoherentOverlap.coherentOverlap_comm` (q k : EuclideanSpace ℝ (Fin n)) : coherentOverlap q k = coherentOverlap k q

Initializing...

`BookProof.ChapterCoherentOverlap.coherentOverlap_comm` (q k : EuclideanSpace ℝ (Fin n)) : coherentOverlap q k = coherentOverlap k q · Prove2Me