Theorem SimpleGraph.dart_card_eq_sum_degrees

Modification history

2023-03-23 14:47
Mathlib/Combinatorics/SimpleGraph/DegreeSum.lean
feat: Port Combinatorics.SimpleGraph.DegreeSum (#2895)
Added SimpleGraph.dart_card_eq_sum_degreesView on Github →