`BookProof.FriedrichsSquare.clGraph_le_adjGraph` {A : D →ₗ[ℂ] F} (hsym : SymmetricOn D A) : clGraph A ≤ adjGraph A

Initializing...

`BookProof.FriedrichsSquare.clGraph_le_adjGraph` {A : D →ₗ[ℂ] F} (hsym : SymmetricOn D A) : clGraph A ≤ adjGraph A · Prove2Me