Theorem Cardinal.beth_one

Modification history

2024-10-16 00:08

Mathlib/SetTheory/Cardinal/Continuum.lean

feat(SetTheory/Cardinal/Aleph): add notation for `aleph` and `beth` (#17671)

Modified Cardinal.beth_one View on Github →

2023-02-24 08:05

Mathlib/SetTheory/Cardinal/Continuum.lean

feat: Port SetTheory.Cardinal.Continuum (#2474)

Added Cardinal.beth_one View on Github →