`BookProof.GraphCore.symmetricOn_pushOp` (U : F →ₗᵢ[ℂ] G) {D : Submodule ℂ F} (T : D →ₗ[ℂ] F) (hT : SymmetricOn D T) : SymmetricOn (pushDom U D) (pushOp U T)

Initializing...

`BookProof.GraphCore.symmetricOn_pushOp` (U : F →ₗᵢ[ℂ] G) {D : Submodule ℂ F} (T : D →ₗ[ℂ] F) (hT : SymmetricOn D T) : SymmetricOn (pushDom U D) (pushOp U T) · Prove2Me