Theorem SimpleGraph.isAcyclic_iff_path_unique

Modification history

2023-03-01 16:36
Mathlib/Combinatorics/SimpleGraph/Acyclic.lean
feat: port Combinatorics.SimpleGraph.Acyclic (#2559)
Added SimpleGraph.isAcyclic_iff_path_uniqueView on Github →