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.

Estimated changes