Convexity of Closure -- A Case Study in Natural Proofs
A proof, as natural as I can make it, that the closure of a convex set is convex.
Well, that’s not exactly what this shows, but close.
A proof, as natural as I can make it, that the closure of a convex set is convex.
Well, that’s not exactly what this shows, but close.