feat(Combinatorics/SimpleGraph): canonical projection and representative between labeled and unlabeled copies#32

FordUniver wants to merge 1 commit into

feat/ind-copy-countFordUniver/mathlib4:feat/ind-copy-countfrom

feat/copy-toUnlabeled-outFordUniver/mathlib4:feat/copy-toUnlabeled-outCopy head branch name to clipboard