add the library of groups with at most 14 conjugacy classes#4409

Open

ThomasBreuer wants to merge 3 commits intooscar-system:masterfrom ThomasBreuer:TB_VeraLopez

+626-3

Commits on Dec 19, 2024

Commits on Dec 20, 2024

improve the documentation
ThomasBreuer
committed