Theorem SimpleGraph.deleteEdges_fromEdgeSet

Modification history

2025-12-01 21:12
Mathlib/Combinatorics/SimpleGraph/DeleteEdges.lean
feat(SimpleGraph): `deleteEdges` distributes over `sup` (#31692) …
Added SimpleGraph.deleteEdges_fromEdgeSetView on Github →