Skip to content

feat: add the classification of finite simple groups to v2 - #649

Merged
kim-em merged 1 commit into
mainfrom
feat/cfsg-tauceti
Sep 25, 2026
Merged

feat: add the classification of finite simple groups to v2#649
kim-em merged 1 commit into
mainfrom
feat/cfsg-tauceti

feat: add the classification of finite simple groups to v2

f30e7d5
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar