Theorem SimpleGraph.minDegree_le_maxDegree

Modification history

2025-05-23 22:03
Mathlib/Combinatorics/SimpleGraph/Finite.lean
feat(Combinatorics/SimpleGraph/Finite): Add lemmas about min and max degrees (#25121) …
Added SimpleGraph.minDegree_le_maxDegreeView on Github →