`BookProof.FullQuadratic.fqExch_hermitian` (P Q S : Fin d → Fin d → ℝ) (i j : Fin d) : (starRingEnd ℂ) (fqExch P Q S i j) = fqExch P Q S j i

Initializing...

`BookProof.FullQuadratic.fqExch_hermitian` (P Q S : Fin d → Fin d → ℝ) (i j : Fin d) : (starRingEnd ℂ) (fqExch P Q S i j) = fqExch P Q S j i · Prove2Me