Commit 2022-06-09 22:24 c89d3194
View on Github →feat(set_theory/cardinal): add cardinal.aleph_0_le_mul_iff' (#14648)
This version provides a more useful iff.mpr. Also review 2 proofs.
feat(set_theory/cardinal): add cardinal.aleph_0_le_mul_iff' (#14648)
This version provides a more useful iff.mpr. Also review 2 proofs.