mathlib3
b9537177 - feat(set_theory/cardinal): cardinality of powerset (#4576)

Commit

5 years ago

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

References

Author

b-mehta

Parents