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.

Estimated changes