Theorem SimpleGraph.Copy.degree_le

Modification history

2026-03-21 05:43
Mathlib/Combinatorics/SimpleGraph/Copy.lean
feat(Combinatorics/SimpleGraph/Copy): add degree of copy less than original (#35011) …
Added SimpleGraph.Copy.degree_leView on Github →