Theorem SimpleGraph.le_minDegree_induce_of_support_subset

Modification history

2026-06-23 12:20

Mathlib/Combinatorics/SimpleGraph/Finite.lean

feat(Combinatorics/SimpleGraph/Finite): some `minDegree`/`maxDegree` lemmas (#40622) …

Added SimpleGraph.le_minDegree_induce_of_support_subset View on Github →