Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-10-12 06:33 b9537177

View on Github →

feat(set_theory/cardinal): cardinality of powerset (#4576) adds a lemma for cardinality of powerset

Estimated changes

added theorem cardinal.mk_set