Theorem Cardinal.preAleph_symm_aleph0

Modification history

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