document recursive for GAP.Obj and GAP.GapObj#848
Merged
fingolfin merged 1 commit intooscar-system:masterfrom ThomasBreuer:TB_GapObj_recursiveNov 30, 2022
+18
recursive for GAP.Obj and GAP.GapObj#848