Theorem Cardinal.preAleph_le_aleph

Modification history

2024-11-19 02:51

Mathlib/SetTheory/Cardinal/Aleph.lean

chore(SetTheory/Cardinal/Aleph): golf `aleph` theorems (#18204)

Added Cardinal.preAleph_le_aleph View on Github →