Theorem Ordinal.preOmega_le_omega

Modification history

2024-11-19 02:51

Mathlib/SetTheory/Cardinal/Aleph.lean

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

Added Ordinal.preOmega_le_omega View on Github →