Theorem SimpleGraph.isAcyclic_of_path_unique

Modification history

2026-07-14 11:01

Mathlib/Combinatorics/SimpleGraph/Acyclic.lean

chore(SimpleGraph/Acyclic): clean up "acyclic iff at most one path" API (#41219) …

Modified SimpleGraph.isAcyclic_of_path_unique View on Github →

2023-03-01 16:36

Mathlib/Combinatorics/SimpleGraph/Acyclic.lean

feat: port Combinatorics.SimpleGraph.Acyclic (#2559)

Added SimpleGraph.isAcyclic_of_path_unique View on Github →