Theorem Cardinal.preAleph_natCast

Modification history

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