Commit 2025-05-07 14:49 8e49c5f7

View on Github →

feat: Cartan matrices are non-singular (#24639) We also change the definition of docs#Matrix.Nondegenerate to demand [Finite m] rather than [Fintype m]. This is a useful change in its own right and is visible here in that we would otherwise need to supply the assumption [Fintype b.support] to cartanMatrix_nondegenerate.

Estimated changes