`BookProof.GraphCore.IsGraphCore.trans` {D₁ D₂ D₃ : Submodule ℂ F} {T : D₃ →ₗ[ℂ] F} (h₂₃ : D₂ ≤ D₃) (h₁ : IsGraphCore D₁ (restrictOp T h₂₃)) (h₂ : IsGraphCore...

Initializing...

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