Theorem SimpleGraph.maximal_isAcyclic_iff_isTree

Modification history

2026-01-02 14:40
Mathlib/Combinatorics/SimpleGraph/Acyclic.lean
feat(Combinatorics/SimpleGraph/Acyclic): characterise maximal acyclic subgraphs (#32043) …
Added SimpleGraph.maximal_isAcyclic_iff_isTreeView on Github →