Theorem Cardinal.preAleph_ofNat

Modification history

2026-05-29 07:06
Mathlib/SetTheory/Cardinal/Aleph.lean
feat: values of `preAleph.symm` (#39713) …
Added Cardinal.preAleph_ofNatView on Github →