mathlib3
feat(set_theory/cardinal): eq_one_iff_subsingleton_and_nonempty
#1770

Merged

feat(set_theory/cardinal): eq_one_iff_subsingleton_and_nonempty #1770

mergify merged 3 commits into master from cardinal-lemma

feat(set_theory/cardinal): eq_one_iff_subsingleton_and_nonempty

ede5d5a8

sgouezel commented on 2019-12-03

Update src/set_theory/cardinal.lean

aeb1536e

sgouezel approved these changes on 2019-12-03

sgouezel added ready-to-merge

Merge branch 'master' into cardinal-lemma

b35149fa

mergify merged 922a4ebe into master 6 years ago

mergify deleted the cardinal-lemma branch 6 years ago

Reviewers

sgouezel

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone