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.