Theorem SimpleGraph.isTree_iff_existsUnique_path

Modification history

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