Def Graph.banana

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.banana View on Github →