Mathlib Changelog
v4
Changelog
About
Github
Theorem
SimpleGraph.pathGraph_adj
Modification history
2023-11-14 18:47
Mathlib/Combinatorics/SimpleGraph/Hasse.lean
feat: add 2-coloring of `pathGraph` and prove its chromatic number is 2 (#8166) …
Added
SimpleGraph.pathGraph_adj
View on Github →