Theorem SimpleGraph.IsContained.max_degree_le

Modification history

2026-06-02 20:46

Mathlib/Combinatorics/SimpleGraph/Copy.lean

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

Deleted SimpleGraph.IsContained.max_degree_le View on Github →

2026-03-21 05:43

Mathlib/Combinatorics/SimpleGraph/Copy.lean

feat(Combinatorics/SimpleGraph/Copy): add degree of copy less than original (#35011) …

Added SimpleGraph.IsContained.max_degree_le View on Github →