Theorem SimpleGraph.isAcyclic_iff_forall_adj_isBridge

Modification history

2026-06-05 15:27
Mathlib/Combinatorics/SimpleGraph/Acyclic.lean
refactor(SimpleGraph): change bridges not to require the edge to be present (#32583) …
Modified SimpleGraph.isAcyclic_iff_forall_adj_isBridgeView on Github →
2023-03-01 16:36
Mathlib/Combinatorics/SimpleGraph/Acyclic.lean
feat: port Combinatorics.SimpleGraph.Acyclic (#2559)
Added SimpleGraph.isAcyclic_iff_forall_adj_isBridgeView on Github →