`BookProof.ChapterCoherentOverlapComplex.bornNumerC_pos` (q k : EuclideanSpace ℂ (Fin n)) : 0 < bornNumerC q k

Initializing...

`BookProof.ChapterCoherentOverlapComplex.bornNumerC_pos` (q k : EuclideanSpace ℂ (Fin n)) : 0 < bornNumerC q k · Prove2Me