Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-07-19 04:53 eb68f4c2

View on Github →

feat (linear_algebra/matrix): make diag and trace compatible with semirings (#3433) changes ring and related instances to semiring etc. in requirements for matrix.diag and matrix.trace

Estimated changes