Commit 2024-06-24 22:22 97a63f4b

View on Github →

feat: G.deleteEdges s = G ↔ Disjoint G.edgeSet s (#13829) From LeanCamCombi

Estimated changes

Modified Mathlib/Combinatorics/SimpleGraph/Basic.lean

added theorem SimpleGraph.deleteEdges_eq_self