Theorem SimpleGraph.dart_card_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.dart_card_eq_twice_card_edgesView on Github →
2023-03-23 14:47
Mathlib/Combinatorics/SimpleGraph/DegreeSum.lean
feat: Port Combinatorics.SimpleGraph.DegreeSum (#2895)
Added SimpleGraph.dart_card_eq_twice_card_edgesView on Github →