Theorem SimpleGraph.edgeFinset_deleteEdges
Modification history
2024-02-13 12:46
Mathlib/Combinatorics/SimpleGraph/Finite.lean
chore(SimpleGraph/Finite): drop some `DecidableEq` assumptions (#10441) …
Modified SimpleGraph.edgeFinset_deleteEdgesView on Github →