mathlib
0746194f - feat(set_theory/cardinal/cofinality): limit cardinal is at least `ω` (#14432)

Commit

3 years ago

feat(set_theory/cardinal/cofinality): limit cardinal is at least `ω` (#14432)

Author

vihdzp

vihdzp

Parents

Loading