`BookProof.GraphCore.deficiencyTrivialAt_of_graphCore` {D₁ D₂ : Submodule ℂ F} (T : D₂ →ₗ[ℂ] F) (h : D₁ ≤ D₂) (hcore : IsGraphCore D₁ T) {z : ℂ} (h₂ :...

Initializing...

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