Theorem SimpleGraph.Hom.minDegree_le

Modification history

2026-06-02 20:46

Mathlib/Combinatorics/SimpleGraph/Copy.lean

chore(Combinatorics/SimpleGraph): tidy various files (#37642)

Deleted SimpleGraph.Hom.minDegree_le View on Github →

2026-04-23 08:52

Mathlib/Combinatorics/SimpleGraph/Copy.lean

feat(Combinatorics/SimpleGraph/Copy): `maxDegree` is monotonic, and `minDegree` is monotonic over a surjective `Copy` (#38355)

Added SimpleGraph.Hom.minDegree_le View on Github →