Commit 2026-07-14 11:01 58283e06

View on Github →

chore(SimpleGraph/Acyclic): clean up "acyclic iff at most one path" API (#41219) Followup to this comment on #40818

Estimated changes

Modified Mathlib/Combinatorics/SimpleGraph/Acyclic.lean

modified theorem SimpleGraph.isAcyclic_iff_subsingleton_path

modified theorem SimpleGraph.isAcyclic_of_path_unique