Theorem SimpleGraph.IsTree.diff_dist_adj

Modification history

2025-12-11 21:26
Mathlib/Combinatorics/SimpleGraph/Acyclic.lean
feat(Combinatorics/SimpleGraph/Acyclic): `IsAcyclic` -> `IsBipartite` (#32568) …
Deleted SimpleGraph.IsTree.diff_dist_adjView on Github →
2025-11-28 19:07
Mathlib/Combinatorics/SimpleGraph/Acyclic.lean
feat(Combinatorics/SimpleGraph): Probe that all trees are bipartite (#32185) …
Added SimpleGraph.IsTree.diff_dist_adjView on Github →