Theorem Graph.eq_bouquet_iff

Modification history

2026-03-21 08:07

Mathlib/Combinatorics/Graph/Basic.lean

feat(Combinatorics/Graph): some small graphs (no edge, bouquet, banana) (#35905) …

Added Graph.eq_bouquet_iff View on Github →