Commit 2025-11-04 16:51 87e803a2

View on Github →

feat(Combinatorics/SimpleGraph/Hamiltonian): p.support.get and p.getVert define equivalences with Fin (#30149)

Estimated changes