Commit 2025-09-28 13:29 652dbc72
View on Github →feat(Combinatorics/SimpleGraph): add theorem SimpleGraph.Connected.diff_dist_adj (#27468)
This contribution was created as part of the Utrecht Summerschool "Formalizing Mathematics in Lean" in July 2025.