ordinal): basic properties on Beth numbers (#14989)

Commit

3 years ago

feat(set_theory/cardinal/ordinal): basic properties on Beth numbers (#14989) We define Beth cardinals and prove miscellaneous basic properties about them.

Author

vihdzp

Parents

d29aca84

mathlib3 99625b1b - feat(set_theory/cardinal/ordinal): basic properties on Beth numbers (#14989)

mathlib3
99625b1b - feat(set_theory/cardinal/ordinal): basic properties on Beth numbers (#14989)