mathlib3
chore(data/int/basic): change instance order
#2257
Merged

chore(data/int/basic): change instance order #2257

mergify merged 3 commits into master from has_neg
sgouezel
sgouezel chore(data/int/basic): change instance order
f1f6f0f1
gebner gebner added ready-to-merge
gebner
gebner approved these changes on 2020-03-27
gebner
gebner approved these changes on 2020-03-27
gebner
mergify[bot] Merge branch 'master' into has_neg
98a2f178
mergify[bot] Merge branch 'master' into has_neg
b93157a0
mergify mergify merged 211c5d11 into master 6 years ago
bryangingechen bryangingechen deleted the has_neg branch 6 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
Milestone