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

Initializing...

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