Theorem SimpleGraph.odd_card_odd_degree_vertices_ne

Modification history

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