Commit 2025-11-04 08:52 3a762c3a
View on Github →feat(SimpleGraph): lemmas relating edges and darts to the support (#26720) Useful lemmas to make it easier to pass between the support/edges/darts of a walk.
- depends on: #25812
feat(SimpleGraph): lemmas relating edges and darts to the support (#26720) Useful lemmas to make it easier to pass between the support/edges/darts of a walk.