`BookProof.ChapterCoherentOverlap.coherentOverlap_ne_zero` (q k : EuclideanSpace ℝ (Fin n)) : coherentOverlap q k ≠ 0

Initializing...

`BookProof.ChapterCoherentOverlap.coherentOverlap_ne_zero` (q k : EuclideanSpace ℝ (Fin n)) : coherentOverlap q k ≠ 0 · Prove2Me