Theorem Cardinal.IsInaccessible.preAleph_symm_eq_ord

Modification history

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