feat(Combinatorics): define HasAdj for capturing the common structure of different kinds of (simple) graphs#35776
Closed
IvanRenison wants to merge 4 commits into
Closed
feat(Combinatorics): define HasAdj for capturing the common structure of different kinds of (simple) graphs#35776IvanRenison wants to merge 4 commits into
HasAdj for capturing the common structure of different kinds of (simple) graphs#35776IvanRenison wants to merge 4 commits into
Commits
Commits on Feb 24, 2026
- committed
Commits on Feb 25, 2026
- committed
- committed
- committed