Theorem Graph.edgeSet_eq_empty

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