Theorem SimpleGraph.degree_le_card_edgeFinset

Modification history

2025-09-19 07:04
Mathlib/Combinatorics/SimpleGraph/Finite.lean
chore(*): drop some `Decidable`/`Fintype` assumptions (#29785) …
Modified SimpleGraph.degree_le_card_edgeFinsetView on Github →
2025-08-18 23:49
Mathlib/Combinatorics/SimpleGraph/Finite.lean
feat(Combinatorics/SimpleGraph): misc. degree theorems (#28444)
Added SimpleGraph.degree_le_card_edgeFinsetView on Github →