Theorem Cardinal.preAleph_symm_univ

Modification history

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