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

Merged

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

ChrisHughes24 merged 1 commit into master from ChrisHughes24-patch-3

chore(data/matrix): simp attribute for transpose_tranpose

304a0aa7

ChrisHughes24 requested a review 6 years ago

ChrisHughes24 merged f3eb8c21 into master 6 years ago

ChrisHughes24 deleted the ChrisHughes24-patch-3 branch 6 years ago

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Milestone

No milestone