Def SimpleGraph.addEdge

Modification history

2024-03-19 23:05

Mathlib/Combinatorics/SimpleGraph/Operations.lean

refactor: single-edge graph (#9736) …

Deleted SimpleGraph.addEdge View on Github →

2024-01-13 20:57

Mathlib/Combinatorics/SimpleGraph/Operations.lean

feat: local graph operations (#9267)

Added SimpleGraph.addEdge View on Github →