`BookProof.GraphCore.IsGraphCore.refl` {D₂ : Submodule ℂ F} (T : D₂ →ₗ[ℂ] F) : IsGraphCore D₂ T

Initializing...

`BookProof.GraphCore.IsGraphCore.refl` {D₂ : Submodule ℂ F} (T : D₂ →ₗ[ℂ] F) : IsGraphCore D₂ T · Prove2Me