intervals): `simp` `Ico_*_card` lemmas
#2271

Merged

chore(data/fintype/intervals): `simp` `Ico_*_card` lemmas #2271

mergify merged 2 commits into master from Ico-card

chore(data/fintype/intervals): `simp` `Ico_*_card` lemmas

ac5e13ba

bryangingechen approved these changes on 2020-03-29

bryangingechen added ready-to-merge

Merge branch 'master' into Ico-card

62b99c18

mergify merged 79880e86 into master 6 years ago

urkud deleted the Ico-card branch 6 years ago

Reviewers

bryangingechen

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone