Repository navigation

Add `IsDigraphRotationSystem` - #954

Open

MeikeWeiss wants to merge 3 commits into

digraphs:mainfrom

MeikeWeiss:meike/isrotation

Open

Add `IsDigraphRotationSystem`#954
MeikeWeiss wants to merge 3 commits into
digraphs:mainfrom
MeikeWeiss:meike/isrotation

Commits on Oct 9, 2026
- add IsDigraphRotationSystem
  Meike Weiss
  committed
  eae96f7
- gaplint error
  Meike Weiss
  committed
  2c28541
Commits on Oct 22, 2026
- include requested changes
  Meike Weiss
  committed
  8172eac