`BookProof.ChapterCoherentOverlapComplex.coherentOverlapC_ne_zero` (q k : EuclideanSpace ℂ (Fin n)) : coherentOverlapC q k ≠ 0

Initializing...

`BookProof.ChapterCoherentOverlapComplex.coherentOverlapC_ne_zero` (q k : EuclideanSpace ℂ (Fin n)) : coherentOverlapC q k ≠ 0 · Prove2Me