Commit 2025-12-07 08:15 9a65ee0b
View on Github →feat(Combinatorics/SimpleGraph/Acyclic): every acyclic subgraph can be extended to a maximal one (#32041) We show that every acyclic subgraph can be extended to a maximal acyclic subgraph.
feat(Combinatorics/SimpleGraph/Acyclic): every acyclic subgraph can be extended to a maximal one (#32041) We show that every acyclic subgraph can be extended to a maximal acyclic subgraph.