Mathlib Changelog
v4
Changelog
About
Github
Theorem
SimpleGraph.Walk.tail_cons
Modification history
2025-08-24 21:36
Mathlib/Combinatorics/SimpleGraph/Walk.lean
chore(Combinatorics): golf entire `ofColex_inj`, `homOfEq_heq` and `mem_supp_of_adj_mem_supp`. deprecate `tail_cons_eq`. (#28480)
Modified
SimpleGraph.Walk.tail_cons
View on Github →
2024-07-30 08:33
Mathlib/Combinatorics/SimpleGraph/Walk.lean
feat(Combinatorics/SimpleGraph/Connectivity): getVert lemmas (#14977) …
Added
SimpleGraph.Walk.tail_cons
View on Github →