Theorem SimpleGraph.IsAcyclic.path_unique

Modification history

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