refactor(Combinatorics/SimpleGraph/Copy): rename copy counts, align variable names, clean up docstring#38745

Open

FordUniver wants to merge 12 commits into

leanprover-community:masterfrom

FordUniver:chore/copy-spelling

Commits on Jun 13, 2026

feat(Combinatorics/SimpleGraph/Copy): introduce `Sub` carrier subtype
FordUniver
committed
Renamed Sub to UnlabeledCopy per suggestion by mitchell-horner
FordUniver
committed

Commits on Jul 8, 2026

chore: fix stale Sub reference in UnlabeledCopy docstring
FordUniver
committed

Commits on Jul 9, 2026

Merge branch 'master' into feat/copy-sub-abbrev
FordUniver
authored

Commits on Jul 12, 2026