Theorem SimpleGraph.coe_finsetWalkLengthLT_eq

Modification history

2024-09-18 08:24

Mathlib/Combinatorics/SimpleGraph/Connectivity/WalkCounting.lean

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

Added SimpleGraph.coe_finsetWalkLengthLT_eq View on Github →