`BookProof.ChapterCoherentOverlapComplex.coherentOverlapC_self` (q : EuclideanSpace ℂ (Fin n)) : coherentOverlapC q q = 1

Initializing...

`BookProof.ChapterCoherentOverlapComplex.coherentOverlapC_self` (q : EuclideanSpace ℂ (Fin n)) : coherentOverlapC q q = 1 · Prove2Me