`BookProof.GraphCore.symmetricOn_restrictOp` {D₁ D₂ : Submodule ℂ F} (T : D₂ →ₗ[ℂ] F) (h : D₁ ≤ D₂) (hT : SymmetricOn D₂ T) : SymmetricOn D₁ (restrictOp T h)

Initializing...

`BookProof.GraphCore.symmetricOn_restrictOp` {D₁ D₂ : Submodule ℂ F} (T : D₂ →ₗ[ℂ] F) (h : D₁ ≤ D₂) (hT : SymmetricOn D₂ T) : SymmetricOn D₁ (restrictOp T h) · Prove2Me