Theorem Cardinal.two_power_aleph0

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.two_power_aleph0 View on Github →

2023-02-24 08:05

Mathlib/SetTheory/Cardinal/Continuum.lean

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

Added Cardinal.two_power_aleph0 View on Github →