Def SimpleGraph.Subgraph.coeEmbeddingSpanningCoe

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.coeEmbeddingSpanningCoe View on Github →