Skip to content

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

Closed
FordUniver wants to merge 1 commit into
feat/ind-copy-countfrom
feat/copy-toUnlabeled-out
Closed

feat(Combinatorics/SimpleGraph): canonical projection and representative between labeled and unlabeled copies#32
FordUniver wants to merge 1 commit into
feat/ind-copy-countfrom
feat/copy-toUnlabeled-out

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

71644f4
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
main
succeeded May 19, 2026 in 23s