`BookProof.ChapterCoherentOverlapComplex.bornNumerC_ofReal` (q k : EuclideanSpace ℝ (Fin n)) : bornNumerC (ofRealVec q) (ofRealVec k) = BookProof.ChapterSoftmaxBorn.bornNumer q k

Initializing...

`BookProof.ChapterCoherentOverlapComplex.bornNumerC_ofReal` (q k : EuclideanSpace ℝ (Fin n)) : bornNumerC (ofRealVec q) (ofRealVec k) = BookProof.ChapterSoftmaxBorn.bornNumer q k · Prove2Me