mathlib3
feat(data/array): add some simp attributes
#1255
Merged
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Overview
Commits
1
Changes
View On
GitHub
feat(data/array): add some simp attributes
#1255
mergify
merged 1 commit into
master
from
ChrisHughes24-patch-2
feat(data/array): add some simp attributes
5ff91ec7
ChrisHughes24
requested a review
6 years ago
robertylewis
approved these changes on 2019-07-23
robertylewis
added
ready-to-merge
mergify
merged
4a5529a2
into master
6 years ago
mergify
deleted the ChrisHughes24-patch-2 branch
6 years ago
Login to write a write a comment.
Login via GitHub
Reviewers
robertylewis
Assignees
No one assigned
Labels
ready-to-merge
Milestone
No milestone
Login to write a write a comment.
Login via GitHub