mathlib3

e62a406b - feat(linear_algebra/determinant): determinant of a block triangular matrix (#6050)

feat(linear_algebra/determinant): determinant of a block triangular matrix (#6050) Add lemmas for determinants of block triangular matrices. Co-authored-by: paulvanwamelen <30371019+paulvanwamelen@users.noreply.github.com>