Skip to content

Avoid IdGroup in IsSymmetricGroup - #6383

Merged
ThomasBreuer merged 2 commits into
masterfrom
mh/IdGroup3
May 9, 2026
Merged

Avoid IdGroup in IsSymmetricGroup#6383
ThomasBreuer merged 2 commits into
masterfrom
mh/IdGroup3

Faster

ea50863
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar