Theorem SimpleGraph.le_spanningCoe_top_coe

Modification history

2026-11-10 23:16

Mathlib/Combinatorics/SimpleGraph/Maps.lean

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

Added SimpleGraph.le_spanningCoe_top_coe View on Github →