Def SimpleGraph.finsetWalkLengthLT

Modification history

2024-09-18 08:24

Mathlib/Combinatorics/SimpleGraph/Connectivity/WalkCounting.lean

feat(Combinatorics/SimpleGraph): add `Fintype` instance for `Path` (#13810)

Added SimpleGraph.finsetWalkLengthLT View on Github →