Commit 2025-01-08 04:40 d9a8247d
View on Github →feat(Combinatorics/SimpleGraph/Path): add IsPath.getVert_injOn
(#19373)
Add lemma on injectivity of getVert for the indices that are in range.
In preparation for Tutte's theorem.
feat(Combinatorics/SimpleGraph/Path): add IsPath.getVert_injOn
(#19373)
Add lemma on injectivity of getVert for the indices that are in range.
In preparation for Tutte's theorem.