Commit 2025-10-12 00:03 11ddf688

View on Github →

feat(Combinatorics/SimpleGraph/Walk): p.getVert and p.support.get have the same range (#30225)

Estimated changes

Modified Mathlib/Combinatorics/SimpleGraph/Walk.lean

added theorem SimpleGraph.Walk.range_getVert_eq_range_support_getElem