Theorem SimpleGraph.IsAcyclic.isPath_iff_isChain

Modification history

2025-11-26 22:53
Mathlib/Combinatorics/SimpleGraph/Acyclic.lean
chore: fix more unused decidable instances in types (#32153) …
Modified SimpleGraph.IsAcyclic.isPath_iff_isChainView on Github →
2025-11-22 09:03
Mathlib/Combinatorics/SimpleGraph/Acyclic.lean
feat(SimpleGraph): weaker condition for paths in acyclic graphs (#25814) …
Added SimpleGraph.IsAcyclic.isPath_iff_isChainView on Github →