Theorem SimpleGraph.Connected.maximal_le_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.Connected.maximal_le_isAcyclic_iff_isTree View on Github →