Theorem SimpleGraph.minDegree_eq_zero_iff_support_ne

Modification history

2026-06-23 12:20
Mathlib/Combinatorics/SimpleGraph/Finite.lean
feat(Combinatorics/SimpleGraph/Finite): some `minDegree`/`maxDegree` lemmas (#40622) …
Added SimpleGraph.minDegree_eq_zero_iff_support_neView on Github →