# Commit 2022-07-21 16:19 99625b1b

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

Mathlib v3 is deprecated. Go to Mathlib v4

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