Theorem SimpleGraph.Subgraph.deleteVerts_mono'

Modification history

2025-02-13 09:11
Mathlib/Combinatorics/SimpleGraph/Subgraph.lean
feat(Combinatorics/SimpleGraph): add monotonicity of number of odd components (#20398) …
Added SimpleGraph.Subgraph.deleteVerts_mono'View on Github →