Theorem SimpleGraph.not_isHamiltonian_of_isBridge

Modification history

2026-04-01 17:01
Mathlib/Combinatorics/SimpleGraph/Hamiltonian.lean
feat(Combinatorics/SimpleGraph): hamiltonian graphs don't contain bridges (#36802) …
Deleted SimpleGraph.not_isHamiltonian_of_isBridgeView on Github →
2025-12-12 09:54
Mathlib/Combinatorics/SimpleGraph/Hamiltonian.lean
feat(Combinatorics): a Hamiltonian graph with a bridge has at most two vertices (#31880)
Added SimpleGraph.not_isHamiltonian_of_isBridgeView on Github →