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
.