basic): define `set.subsingleton`
#1939

Merged

feat(data/set/basic): define `set.subsingleton` #1939

mergify merged 3 commits into master from set-basic

feat(data/set/basic): define `set.subsingleton`

9c61c219

Add a missing lemma

b58b84ba

urkud added awaiting-review

sgouezel removed awaiting-review

sgouezel added ready-to-merge

sgouezel approved these changes on 2020-02-02

Merge branch 'master' into set-basic

1f5d0bfd

mergify merged 58899d43 into master 6 years ago

mergify deleted the set-basic branch 6 years ago

Reviewers

sgouezel

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone