`BookProof.ClosureUniqueness.mem_factorGraph_sqOp` (A : D →ₗ[ℂ] F) (hsym : SymmetricOn D A) (hstab : ∀ v : D, (A v : F) ∈ D) (v : D) : ((v : F), sqOp A hstab v) ∈ factorGraph A

Initializing...

`BookProof.ClosureUniqueness.mem_factorGraph_sqOp` (A : D →ₗ[ℂ] F) (hsym : SymmetricOn D A) (hstab : ∀ v : D, (A v : F) ∈ D) (v : D) : ((v : F), sqOp A hstab v) ∈ factorGraph A · Prove2Me