`BookProof.ChapterCoherentOverlapComplex.bornNumerC_eq` (q k : EuclideanSpace ℂ (Fin n)) : bornNumerC q k = Real.exp (-‖q‖ ^ 2) * Real.exp (-‖k‖ ^ 2) * Real.exp (2 * (inner ℂ q k :

Initializing...

`BookProof.ChapterCoherentOverlapComplex.bornNumerC_eq` (q k : EuclideanSpace ℂ (Fin n)) : bornNumerC q k = Real.exp (-‖q‖ ^ 2) * Real.exp (-‖k‖ ^ 2) * Real.exp (2 * (inner ℂ q k : · Prove2Me