Skip to content

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

Draft
FordUniver wants to merge 15 commits into
leanprover-community:masterfrom
FordUniver:feat/copy-toUnlabeled-out
Draft

feat(Combinatorics/SimpleGraph): canonical projection and representative between labeled and unlabeled copies#39571
FordUniver wants to merge 15 commits into
leanprover-community:masterfrom
FordUniver:feat/copy-toUnlabeled-out

feat(Combinatorics/SimpleGraph): `Copy.toUnlabeledCopy` / `UnlabeledC…

21db757
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
post-or-update-summary-comment
succeeded Jul 12, 2026 in 1m 19s