`BookProof.ClosureUniqueness.adjGraph_eq_adjPairs_clGraph` (T : D →ₗ[ℂ] F) : adjGraph T = adjPairs (clGraph T)

Initializing...

`BookProof.ClosureUniqueness.adjGraph_eq_adjPairs_clGraph` (T : D →ₗ[ℂ] F) : adjGraph T = adjPairs (clGraph T) · Prove2Me