`BookProof.ChapterCoherentOverlapComplex.bornWeightC_pos` (q : EuclideanSpace ℂ (Fin n)) (k : Fin m → EuclideanSpace ℂ (Fin n)) (j : Fin m) : 0 < bornWeightC q k j

Initializing...

`BookProof.ChapterCoherentOverlapComplex.bornWeightC_pos` (q : EuclideanSpace ℂ (Fin n)) (k : Fin m → EuclideanSpace ℂ (Fin n)) (j : Fin m) : 0 < bornWeightC q k j · Prove2Me