Theorem SimpleGraph.vertexCoverNum_le_vertexCoverNum_of_injective

Modification history

2026-08-11 12:14
Mathlib/Combinatorics/SimpleGraph/VertexCover.lean
chore: delete deprecated declarations/modules from January 2026 (#42075) …
Deleted SimpleGraph.vertexCoverNum_le_vertexCoverNum_of_injectiveView on Github →
2026-01-18 15:55
Mathlib/Combinatorics/SimpleGraph/VertexCover.lean
fix: add missing deprecations (#34087) …
Added SimpleGraph.vertexCoverNum_le_vertexCoverNum_of_injectiveView on Github →
2026-01-07 14:25
Mathlib/Combinatorics/SimpleGraph/VertexCover.lean
refactor(Combinatorics/SimpleGraph/VertexCover): assumes containment instead of injective hom (#33622) …
Deleted SimpleGraph.vertexCoverNum_le_vertexCoverNum_of_injectiveView on Github →
2026-01-05 07:54
Mathlib/Combinatorics/SimpleGraph/VertexCover.lean
feat(SimpleGraph): define and prove basic theory of vertex covers (#30129) …
Added SimpleGraph.vertexCoverNum_le_vertexCoverNum_of_injectiveView on Github →