(A : ∀ m, D m →ₗ[ℂ] D m) (hA : ∀ m, FullEsa.IsSymmetricDom (A m)) : FullEsa.IsSymmetricDom (fockOp A)

Initializing...

(A : ∀ m, D m →ₗ[ℂ] D m) (hA : ∀ m, FullEsa.IsSymmetricDom (A m)) : FullEsa.IsSymmetricDom (fockOp A) · Prove2Me