`BookProof.FriedrichsSquare.adjPairs_factorRel` [CompleteSpace F] (A : D →ₗ[ℂ] F) : adjPairs (factorRel A) = factorRel A

Initializing...

`BookProof.FriedrichsSquare.adjPairs_factorRel` [CompleteSpace F] (A : D →ₗ[ℂ] F) : adjPairs (factorRel A) = factorRel A · Prove2Me