Theorem SimpleGraph.even_card_odd_degree_vertices

Modification history

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