feat(Combinatorics/SimpleGraph/Automorphism): Aut, autCount, and orbit-stabiliser for copies and embeddings#25

FordUniver wants to merge 1 commit into

feat/copy-toUnlabeled-outFordUniver/mathlib4:feat/copy-toUnlabeled-outfrom

feat/simplegraph-autFordUniver/mathlib4:feat/simplegraph-autCopy head branch name to clipboard