Theorem SimpleGraph.deleteEdges_of_subset_diagSet

Modification history

2026-01-27 07:48
Mathlib/Combinatorics/SimpleGraph/DeleteEdges.lean
feat(Combinatorics/SimpleGraph): more about two-reachability (#33335)
Added SimpleGraph.deleteEdges_of_subset_diagSetView on Github →