Theorem Cardinal.aleph_toENat

Modification history

2024-12-03 05:50
Mathlib/SetTheory/Cardinal/Aleph.lean
chore: complete deprecation of `PartENat.card` (#19648) …
Added Cardinal.aleph_toENatView on Github →