Theorem SimpleGraph.IsContained.vertexCoverNum_le_vertexCoverNum

Modification history

2026-01-07 14:25
Mathlib/Combinatorics/SimpleGraph/VertexCover.lean
refactor(Combinatorics/SimpleGraph/VertexCover): assumes containment instead of injective hom (#33622) …
Added SimpleGraph.IsContained.vertexCoverNum_le_vertexCoverNumView on Github →