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.

Estimated changes