mathlib3
feat(data/finset): card_image_le
#2295
Merged

feat(data/finset): card_image_le #2295

mergify merged 4 commits into master from card_image_le
digama0
digama0 feat(data/finset): card_image_le
c0042c9e
digama0 add list.to_finset_card_le
c51f3ab1
urkud urkud added ready-to-merge
urkud
urkud approved these changes on 2020-03-31
mergify[bot] Merge branch 'master' into card_image_le
1dbc1212
mergify[bot] Merge branch 'master' into card_image_le
8e4ce259
mergify mergify merged 224ba7e0 into master 6 years ago
ChrisHughes24 ChrisHughes24 deleted the card_image_le branch 6 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
Milestone