Theorem SimpleGraph.spanningCoe_induce_eq_self

Modification history

2026-11-10 23:16

Mathlib/Combinatorics/SimpleGraph/Maps.lean

feat(Combinatorics/SimpleGraph/Maps): more `map`/`comap` API (#42370)

Modified SimpleGraph.spanningCoe_induce_eq_self View on Github →

2026-04-03 20:46

Mathlib/Combinatorics/SimpleGraph/Maps.lean

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

Added SimpleGraph.spanningCoe_induce_eq_self View on Github →