Commit 2025-07-07 13:33 58ff3724
View on Github →chore: reorganise root system files associated with Geck construction (#26849)
There are no changes other than moving things around here.
I believe these changes make good sense in their own right but additional motivation is to have LinearAlgebra.RootSystem.Base
import LinearAlgebra.RootSystem.Finite.Lemmas
instead of vice-versa. This makes it possible to organise results about bases in one place, and became important when developing further theory of bases.