`BookProof.ClosureUniqueness.clGraph_eq_of_isCoreOf_pair` {T : D →ₗ[ℂ] F} {T₁ : D₁ →ₗ[ℂ] F} {T₂ : D₂ →ₗ[ℂ] F} (h₁ : IsCoreOf T₁ T) (h₂ : IsCoreOf T₂ T) : clGraph...

Initializing...

`BookProof.ClosureUniqueness.clGraph_eq_of_isCoreOf_pair` {T : D →ₗ[ℂ] F} {T₁ : D₁ →ₗ[ℂ] F} {T₂ : D₂ →ₗ[ℂ] F} (h₁ : IsCoreOf T₁ T) (h₂ : IsCoreOf T₂ T) : clGraph... · Prove2Me