Theorem SimpleGraph.mem_finsetWalkLengthLT_iff

Modification history

2024-09-18 08:24

Mathlib/Combinatorics/SimpleGraph/Connectivity/WalkCounting.lean

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

Added SimpleGraph.mem_finsetWalkLengthLT_iff View on Github →