Theorem SimpleGraph.Subgraph.edgeSet_spanningCoe

Modification history

2026-03-06 15:35
Mathlib/Combinatorics/SimpleGraph/Subgraph.lean
feat(SimpleGraph/Subgraph): small things about `spanningCoe` and a small golf (#35331)
Added SimpleGraph.Subgraph.edgeSet_spanningCoeView on Github →