`BookProof.FullQuadratic.polySym_fqPoly` (P Q S : Fin d → Fin d → ℝ) (b b' : Fin d → ℝ) : BookProof.YangMillsHermite.PolySym (fqPoly P Q S b b')

Initializing...

`BookProof.FullQuadratic.polySym_fqPoly` (P Q S : Fin d → Fin d → ℝ) (b b' : Fin d → ℝ) : BookProof.YangMillsHermite.PolySym (fqPoly P Q S b b') · Prove2Me