Skip to content

remove a GAP function that is now provided by GAP - #5591

Merged
fingolfin merged 1 commit into
oscar-system:masterfrom
ThomasBreuer:TB_rm_IsAtlasCharacterTable
Nov 28, 2025
Merged

remove a GAP function that is now provided by GAP#5591
fingolfin merged 1 commit into
oscar-system:masterfrom
ThomasBreuer:TB_rm_IsAtlasCharacterTable

remove a GAP function that is now provided by GAP

319ef84
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.