Def SimpleGraph.deleteEdges

Modification history

2024-05-21 09:57

Mathlib/Combinatorics/SimpleGraph/Basic.lean

refactor(SimpleGraph): Review `deleteEdges` (#11613) …

Modified SimpleGraph.deleteEdges View on Github →

2024-02-07 03:57

Mathlib/Combinatorics/SimpleGraph/Basic.lean

refactor: split out graph darts (#10312) …

Modified SimpleGraph.deleteEdges View on Github →

2023-02-24 18:27

Mathlib/Combinatorics/SimpleGraph/Basic.lean

feat: Port `Combinatorics.SimpleGraph.Basic` (#1883)

Added SimpleGraph.deleteEdges View on Github →