Commit 2024-05-25 14:56 aafb896f

feat: equality of coroots implies equality of roots for Lie algebras (#13208) This would also follow from general results about root systems but it is convenient (though not necessary) to have this to hand when proving that the roots of a semisimple Lie algebra are a root system.