cofinality): lemma on subsets of strong limit cardinal (#14442)

Commit

3 years ago

feat(set_theory/cardinal/cofinality): lemma on subsets of strong limit cardinal (#14442)

Author

vihdzp

Parents