[Merged by Bors] - feat(LinearAlgebra/Matrix/SpecialLinearGroup): Add action on R^n#39581

Whysoserioushah wants to merge 3 commits into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

Whysoserioushah:edison/projgeo1Whysoserioushah/mathlib4:edison/projgeo1Copy head branch name to clipboard