basic): more lemmas about `set.nonempty`
#1780

Merged

feat(data/set/basic): more lemmas about `set.nonempty` #1780

mergify merged 3 commits into master from set-nonempty2

feat(data/set/basic): more lemmas about `set.nonempty`

c4d4bd04

urkud force pushed from 4ce142ee to c4d4bd04 6 years ago

Merge branch 'master' into set-nonempty2

b4304735

jcommelin added ready-to-merge

jcommelin approved these changes on 2019-12-05

fpvandoorn commented on 2019-12-05

Fix compile

4229aaf3

mergify merged 7221900b into master 6 years ago

mergify deleted the set-nonempty2 branch 6 years ago

Reviewers

jcommelin

fpvandoorn

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone