Commit 2025-10-11 22:01 e771538c

View on Github →

feat(Combinatorics/SimpleGraph/Walk): p.getVert is p.support.get (#30205)

Estimated changes