Some inits for realization spaces#5539

HechtiDerLachs wants to merge 3 commits intooscar-system:masteroscar-system/Oscar.jl:masterfrom

HechtiDerLachs:some_inits_for_realization_spacesHechtiDerLachs/Oscar.jl:some_inits_for_realization_spacesCopy head branch name to clipboard