Theorem Cardinal.continuum_toENat

Modification history

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