chore(Combinatorics/SimpleGraph/Copy): replace classical `Fintype.card` with `Nat.card`#38931

Open

FordUniver wants to merge 17 commits into

leanprover-community:masterfrom

FordUniver:chore/copy-nat-card

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 17, 2026