Deprecated material from Mathlib.SetTheory.Cardinal.Aleph and Mathlib.SetTheory.Cardinal.Continuum

Moved here so we can reduce imports sooner.

@[simp, deprecated Cardinal.aleph_toENat (since := "2024-12-01")]

theorem Cardinal.aleph_toPartENat (o : Ordinal.{u_1}) : toPartENat (aleph o) = ⊤

@[simp, deprecated Cardinal.aleph_toENat (since := "2024-12-01")]

theorem Cardinal.continuum_toPartENat : toPartENat continuum = ⊤