Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-08-20 11:13 f3eb8c21

View on Github →

chore(data/matrix): simp attribute for transpose_tranpose (#1350)

Estimated changes