Commit 2026-04-01 17:01 d751246d
View on Github →feat(Combinatorics/SimpleGraph): hamiltonian graphs don't contain bridges (#36802) Replace the longer proof which further assumed that the vertex set has at least three elements.
feat(Combinatorics/SimpleGraph): hamiltonian graphs don't contain bridges (#36802) Replace the longer proof which further assumed that the vertex set has at least three elements.