Theorem SimpleGraph.vertexCoverNum_ne_top_of_finite_edgeSet

Modification history

2026-01-05 07:54
Mathlib/Combinatorics/SimpleGraph/VertexCover.lean
feat(SimpleGraph): define and prove basic theory of vertex covers (#30129) …
Added SimpleGraph.vertexCoverNum_ne_top_of_finite_edgeSetView on Github →