finite): remove exists_finset_of_finite
#1782

Merged

feat(data/set/finite): remove exists_finset_of_finite #1782

mergify merged 3 commits into master from can-lift-finite

feat(data/set/finite): remove exists_finset_of_finite

972a80a2

Add docstring

e8969ee4

sgouezel added ready-to-merge

sgouezel approved these changes on 2019-12-05

Merge branch 'master' into can-lift-finite

e4494bfe

mergify merged 2adc122c into master 6 years ago

mergify deleted the can-lift-finite branch 6 years ago

Reviewers

sgouezel

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone