Theorem SimpleGraph.sum_degrees_eq_twice_card_edges

Modification history

2024-10-22 13:55
Mathlib/Combinatorics/SimpleGraph/DegreeSum.lean
chore(Combinatorics): use newly introduced finset notation (#18055) …
Modified SimpleGraph.sum_degrees_eq_twice_card_edgesView on Github →
2023-07-02 10:21
Mathlib/Combinatorics/SimpleGraph/DegreeSum.lean
fix: `∑'` precedence (#5615) …
Modified SimpleGraph.sum_degrees_eq_twice_card_edgesView on Github →
2023-03-23 14:47
Mathlib/Combinatorics/SimpleGraph/DegreeSum.lean
feat: Port Combinatorics.SimpleGraph.DegreeSum (#2895)
Added SimpleGraph.sum_degrees_eq_twice_card_edgesView on Github →