mathlib

b0768801 - feat(combinatorics/simple_graph/acyclic): acyclic graphs and trees (#17213)

feat(combinatorics/simple_graph/acyclic): acyclic graphs and trees (#17213) Defines the notions of acyclic graphs and trees and proves some characterizations, for example uniqueness of paths. From the `walks_and_trees` branch.