Theorem SimpleGraph.minDegree_lt_card

Modification history

2025-08-18 23:49
Mathlib/Combinatorics/SimpleGraph/Finite.lean
feat(Combinatorics/SimpleGraph): misc. degree theorems (#28444)
Added SimpleGraph.minDegree_lt_cardView on Github →