mathlib3
feat(data/array): add some simp attributes
#1255
Merged

feat(data/array): add some simp attributes #1255

mergify merged 1 commit into master from ChrisHughes24-patch-2
ChrisHughes24
ChrisHughes24 feat(data/array): add some simp attributes
5ff91ec7
ChrisHughes24 ChrisHughes24 requested a review 6 years ago
robertylewis
robertylewis approved these changes on 2019-07-23
robertylewis robertylewis added ready-to-merge
mergify mergify merged 4a5529a2 into master 6 years ago
mergify mergify deleted the ChrisHughes24-patch-2 branch 6 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
Milestone