Commit 2026-02-07 17:02 2d9b1408
View on Github →feat(SimpleGraph): add more API for take/drop (#26614)
The main lemma proves that taking n vertices of a walk results in a sub-walk of taking k vertices when n is less than or equal to k, alongside a similar lemma for dropping vertices.