intervals): fintype instances for ℕ and ℤ
#1602

Merged

feat(data/set/intervals): fintype instances for ℕ and ℤ #1602

mergify merged 10 commits into master from intervals-fintype

starting on fintype instances for Icos

9657ead1

Merge remote-tracking branch 'origin/master' into intervals-fintype

8626e958

finishing fintypes

4b1509e5

minor

bdec4216

kim-em added awaiting-review

move file

8db7b007

oops

2a16db40

ChrisHughes24 commented on 2019-10-24

redone

2dc30fec

formatting

a36f9ccb

ChrisHughes24 commented on 2019-10-25

ChrisHughes24 removed awaiting-review

ChrisHughes24 added awaiting-author

cleaning up

3dd6a518

kim-em removed awaiting-author

kim-em added awaiting-review

ChrisHughes24 approved these changes on 2019-10-26

ChrisHughes24 added ready-to-merge

Merge branch 'master' into intervals-fintype

19a8cb3a

mergify merged b46f5b04 into master 6 years ago

mergify deleted the intervals-fintype branch 6 years ago

kim-em removed awaiting-review

Reviewers

ChrisHughes24

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone