Closed fingolfin closed 2 years ago
If we can get rid of all such uses of InstallValue, we can perhaps eventually get rid of the GAP kernel function CLONE_OBJ.
If we can get rid of all such uses of InstallValue, we can perhaps eventually get rid of the GAP kernel function CLONE_OBJ.