Theorem Cardinal.lift_eq_aleph_natCast

Modification history

2026-04-05 15:16
Mathlib/SetTheory/Cardinal/Aleph.lean
feat: many simp lemmas about aleph/beth/omega functions and lift (#37363)
Added Cardinal.lift_eq_aleph_natCastView on Github →