Theorem Cardinal.continuum_toPartENat

Modification history

2024-12-03 05:50
Mathlib/Deprecated/Cardinal/Continuum.lean
chore: complete deprecation of `PartENat.card` (#19648) …
Modified Cardinal.continuum_toPartENatView on Github →
2023-02-24 08:05
Mathlib/SetTheory/Cardinal/Continuum.lean
feat: Port SetTheory.Cardinal.Continuum (#2474)
Added Cardinal.continuum_toPartENatView on Github →