Commit 2026-03-21 05:43 0f6fea2d
View on Github →feat(Combinatorics/SimpleGraph/Copy): add degree of copy less than original (#35011) add two theorems relating degree of a graph and it's copy
feat(Combinatorics/SimpleGraph/Copy): add degree of copy less than original (#35011) add two theorems relating degree of a graph and it's copy