Theorem SimpleGraph.support_spanningCoe

Modification history

2026-04-03 20:46

Mathlib/Combinatorics/SimpleGraph/Maps.lean

feat(Combinatorics/SimpleGraph/Maps): lemmas about support (#35615)

Added SimpleGraph.support_spanningCoe View on Github →