Repository navigation

Add `IsDigraphRotationSystem` - #954

Open

MeikeWeiss wants to merge 2 commits into

digraphs:mainfrom

MeikeWeiss:meike/isrotation

Open

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

Commits on Oct 9, 2026
- add IsDigraphRotationSystem
  Meike Weiss
  committed
  eae96f7
- gaplint error
  Meike Weiss
  committed
  2c28541