Skip to content

feat(Combinatorics/SimpleGraph/InducedCopy): add Copy.inducedShape#38

Closed
FordUniver wants to merge 1 commit into
feat/simplegraph-autfrom
feat/copy-induced-shape
Closed

feat(Combinatorics/SimpleGraph/InducedCopy): add Copy.inducedShape#38
FordUniver wants to merge 1 commit into
feat/simplegraph-autfrom
feat/copy-induced-shape

feat(Combinatorics/SimpleGraph/InducedCopy): Copy.inducedShape

67bb8d3
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
main
succeeded May 27, 2026 in 21s