Theorem SimpleGraph.Walk.notNilRec_cons

Modification history

2024-07-30 08:33
Mathlib/Combinatorics/SimpleGraph/Walk.lean
feat(Combinatorics/SimpleGraph/Connectivity): getVert lemmas (#14977) …
Added SimpleGraph.Walk.notNilRec_consView on Github →