Add (has_)disjoint_automorphisms, petersen_graph, and clebsch_graph#5708
Merged
fingolfin merged 17 commits intooscar-system:masterfrom Feb 3, 2026
Merged
Add (has_)disjoint_automorphisms, petersen_graph, and clebsch_graph#5708fingolfin merged 17 commits intooscar-system:masterfrom
(has_)disjoint_automorphisms, petersen_graph, and clebsch_graph#5708fingolfin merged 17 commits intooscar-system:masterfrom
Commits
Commits on Jan 16, 2026
Commits on Jan 17, 2026
Commits on Jan 18, 2026
- committed
Commits on Jan 19, 2026
- committed
- andauthored
- andauthored
