Rename MatrixGroup, MatrixGroupElem to MatGroup, MatGroupElem, to better fit in with MatElem and MatRingElem#5704
Merged
ThomasBreuer merged 5 commits intomasterfrom Jan 16, 2026
Merged
