PR #1779 feat(data/set/basic): define `set.nonempty`

feat(data/set/basic): define `set.nonempty` #1779

mergify merged 10 commits into master from set-nonempty

Define `set.nonempty` and prove some basic lemmas

df657399

Migrate `well_founded.min` to `set.nonempty`

f7ed4728

sgouezel commented on 2019-12-04

Fix a docstring and a few names

c8a23038

urkud commented on 2019-12-04

sgouezel commented on 2019-12-04

More docs

0dee3675

Merge branch 'master' into set-nonempty

abae06bb

Linebreaks

ee42ee14

+2 docstrings

a758cf4b

sgouezel approved these changes on 2019-12-04

sgouezel added ready-to-merge

Fix compile

c00562ee

Fix compile of `archive/imo1988_q6`

900aab81

Merge branch 'master' into set-nonempty

2c32a755

mergify merged 324ae4b1 into master 6 years ago

mergify deleted the set-nonempty branch 6 years ago

Reviewers

sgouezel

robertylewis

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone