mathlib3

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