remove a GAP function that is now provided by GAP#5591
Merged
fingolfin merged 1 commit intooscar-system:masterfrom Nov 28, 2025
Merged
remove a GAP function that is now provided by GAP#5591fingolfin merged 1 commit intooscar-system:masterfrom
fingolfin merged 1 commit intooscar-system:masterfrom