move code from Oscar.jl/experimental/GModule/Misc.jl
here#1675
Merged
fingolfin merged 5 commits intoNemocas:masterfrom ThomasBreuer:TB_move_from_oscarApr 25, 2024
+126
Oscar.jl/experimental/GModule/Misc.jl
here#1675