How does it matter if it Lean verified or a human verified proof if you comprehend neither?
There can't be too many people working in that corner of graph theory, and I expect the result to them being eminently straightforward.
There can't be too many people working in that corner of graph theory, and I expect the result to them being eminently straightforward.