Theorem SimpleGraph.Walk.adj_getVert_one

Modification history

2024-09-04 01:36

Mathlib/Combinatorics/SimpleGraph/Walk.lean

chore(Combinatorics/SimpleGraph): remove sndOfNotNil (#16352) …

Added SimpleGraph.Walk.adj_getVert_one View on Github →

2024-08-05 08:52

Mathlib/Combinatorics/SimpleGraph/Walk.lean

chore: move toolchain to v4.11.0-rc1 (#15513)

Deleted SimpleGraph.Walk.adj_getVert_one View on Github →

2024-08-04 11:42

Mathlib/Combinatorics/SimpleGraph/Walk.lean

refactor(Combinatorics/SimpleGraph): remove sndOfNotNil in favour of getVert 1 (#15237) …

Added SimpleGraph.Walk.adj_getVert_one View on Github →