mathlib

bb5e5986 - feat(set_theory/cardinal_ordinal): Add `simp` lemmas for `aleph` (#13056)