[Merged by Bors] - perf(LinearAlgebra/RootSystem/GeckConstruction/Relations): get rid of some aesop#35587

GrigorenkoPV wants to merge 2 commits intoleanprover-community:masterleanprover-community/mathlib4:masterfrom

GrigorenkoPV:aesopGrigorenkoPV/mathlib4:aesopCopy head branch name to clipboard